Category:Finite Ordinals
Jump to navigation
Jump to search
This category contains results about Finite Ordinals.
Let $\alpha$ be an ordinal.
Then $\alpha$ is said to be finite if and only if one of the following holds:
- $\alpha = \O$
- $\alpha = \beta^+$ for some finite ordinal $\beta$
where $\O$ denotes the empty set, and $\beta^+$ is the successor ordinal of $\beta$.
Pages in category "Finite Ordinals"
The following 7 pages are in this category, out of 7 total.