Definition:Ordering on Integers

From ProofWiki
Jump to: navigation, search

Definition

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

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

That is, $x$ is less than or equal to $y$ if and only if $y - x$ is non-negative.


Also see


Sources