Definition:Ordered Set of Natural Numbers

From ProofWiki
Jump to navigation Jump to search

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