Definition:Finite Ordinal

Definition
Let $\alpha$ be an ordinal.

Then $\alpha$ is said to be finite iff one of the following holds:


 * $\alpha = \varnothing$
 * $\alpha = \beta^+$ for some finite ordinal $\beta$

where $\varnothing$ denotes the empty set, and $\beta^+$ is the successor ordinal of $\beta$.

Also known as
In many sources oriented towards set theory, finite ordinals are referred to as natural numbers.

The relation with the natural numbers arises from the multiple definitions of minimal infinite successor set $\omega$, combined with the definition of $\N$ as $\omega$.

However, in an effort to keep separated the familiar properties of $\N$ and those of finite ordinals, does not identify these intuitively distinct concepts.

Also see

 * Definition:Finite Set, which through the definition of $\N$ would be circular if used here.
 * Definition:Transfinite Ordinal