\begin{definition}[Definition:Ordered Set of Natural Numbers]
The '''ordered set of natural numbers''' is the ordered set $(\N, \leq)$ where:
:$\N$ is the set of natural numbers
:$\leq$ is the ordering on the natural numbers
\end{definition}