Definition:Ordering on Natural Numbers/Minimally Inductive Set
< Definition:Ordering on Natural Numbers(Redirected from Definition:Ordering on Minimally Inductive Set)
Jump to navigation
Jump to search
Definition
Let $\omega$ be the minimally inductive set.
The strict ordering of $\omega$ is the relation $<$ defined by:
- $\forall m, n \in \omega: m < n \iff m \in n$
The (weak) ordering of $\omega$ is the relation $\le$ defined by:
- $\forall m, n \in \omega: m \le n \iff m < n \lor m = n$