\begin{definition}[Definition:Rounding/Integer]
Let $x \in \R$ be a real number.
Let $y \in \R$ such that:
:$y = \floor {x + \dfrac 1 2}$
Then $y$ is defined as '''$x$ rounded to the nearest integer'''.
\end{definition}