\begin{definition}[Definition:Distance to Nearest Integer Function]
The '''distance to nearest integer function''' $\norm \cdot: \R \to \closedint 0 {\dfrac 1 2}$ is defined in the following ways:
\end{definition}