Definition:Strict Ordering on Integers

Definition
The integers are strictly ordered on the relation $<$ as follows:


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

That is, $x$ is less than $y$ $y - x$ is (strictly) positive.

Also see

 * Definition:Ordering on Integers
 * Definition:Ordering on Natural Numbers


 * Strict Positivity Property induces Total Ordering