Definition:Ordering on Natural Numbers/Peano Structure

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\struct {P, 0, s}$ be a Peano structure.


The ordering of $P$ is the relation $\le$ defined by:

$\forall m, n \in P: m \le n \iff \exists p \in P: m + p = n$

where $+$ denotes addition in $\struct {P, 0, s}$.


Sources