Definition:Distance to Nearest Integer Function

Definition
The distance to nearest integer function $\left\Vert{\cdot}\right\Vert : \R \to \left[{0 \,.\,.\, \dfrac 1 2}\right]$ is defined in the following ways:

Also denoted as
The notation $\left\Vert{\cdot}\right\Vert_{\R / \Z}$ is also in use.

Also see

 * Equivalence of Definitions of Distance to Nearest Integer Function


 * Definition:Floor Function
 * Definition:Ceiling Function
 * Definition:Fractional Part
 * Definition:Nearest Integer Function