Definition:Rounding/Integer

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

Let $X \in \R$ such that:
 * $X = \floor {x + \dfrac 1 2}$

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