Definition:Strict Ordering on Integers

Also see

 * Equivalence of Definitions of Strict Ordering on Integers


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


 * Strict Positivity Property induces Total Ordering