# Category:Ordinals

This category contains results about Ordinals.
Definitions specific to this category can be found in Definitions/Ordinals.

$\alpha$ is an ordinal if and only if it fulfils the following conditions:

 $(1)$ $:$ $\alpha$ is a transitive set $(2)$ $:$ $\Epsilon {\restriction_\alpha}$ strictly well-orders $\alpha$

where $\Epsilon {\restriction_\alpha}$ is the restriction of the epsilon relation to $\alpha$.

## Subcategories

This category has the following 26 subcategories, out of 26 total.