Definition:Extended Natural Numbers/Definition 2

From ProofWiki
Jump to navigation Jump to search

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

  • Results about the extended natural numbers can be found here.