Category:Limit Ordinals

From ProofWiki
Jump to navigation Jump to search

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


Definition 1

An ordinal $\lambda$ is a limit ordinal if and only if it is a limit element in the well-ordering on the class of all ordinals $\On$ that is the subset relation.


Definition 2

An ordinal $\lambda$ is a limit ordinal if and only if it is neither the zero ordinal nor a successor ordinal.

Subcategories

This category has only the following subcategory.