# 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