Definition:Ordering on Integers

Definition
The integers are ordered on the relation $\le$ as follows:


 * $\forall x, y \in \Z: y - x \in \Z_{\ge 0} \iff x \le y$

That is, $x$ is less than or equal to $y$ iff $y - x$ is positive.