Definition:Strict Ordering on Integers

From ProofWiki
Jump to navigation Jump to search

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$ if and only if $y - x$ is (strictly) positive.


Also see


Sources