# 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** 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$.

## Pages in category "Finite Ordinals"

The following 7 pages are in this category, out of 7 total.