Definition:Ordering on Integers

Also see

 * Equivalence of Definitions of Ordering on Integers


 * Definition:Strict Ordering on Integers


 * Definition:Ordering on Natural Numbers