Definition:Rounding/Integer

Definition
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.