Definition:Extended Natural Numbers/Definition 2

Definition
Let $\N$ be the set of natural numbers.

The extended natural numbers are the order completion of the ordered set of natural numbers.

Also see

 * Equivalence of Definitions of Extended Natural Numbers