# Definition:Ordering on Integers

The integers are ordered on the relation $\le$ as follows:
$\forall x, y \in \Z: x \le y \iff y - x \in \Z_{\ge 0}$
That is, $x$ is less than or equal to $y$ if and only if $y - x$ is non-negative.