Definition:Ordered Set of Natural Numbers

Definition
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

Also see

 * Well-Ordering Principle