Extended Natural Numbers
# Definition
The Extended Natural Numbers is the set $\bar{\mathbb{N}} := \mathbb{N} \cup {\infty}$ where $\infty$ has the following properties
- $\forall n \in \bar{\mathbb{N}}$, $\infty \geq n$
- $\forall n \in \bar{\mathbb{N}}$, $\infty + n = \infty$
- $\forall n \in \bar{\mathbb{N}}$, $\infty * n = \infty$
That is, the Extended Natural Numbers is a Compactification of $\mathbb{N}$.