Definition:Rounding/Integer

Definition
Let $x \in \R$ be a real number.

Let $y \in \R$ such that:
 * $y = \left\lfloor{x + \dfrac 1 2}\right\rfloor$

Then $y$ is defined as $x$ rounded to the nearest integer.