\begin{definition}[Definition:Distance to Nearest Integer Function/Definition 1]
The '''nearest integer function''' $\norm \cdot: \R \to \closedint 0 {\dfrac 1 2}$ is defined as:
:$\norm \alpha:= \min \set {\size {n - \alpha}: n \in \Z}$
\end{definition}