Category:Definitions/Ordinal Sequences

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Ordinal Sequences.
Related results can be found in Category:Ordinal Sequences.

An ordinal sequence is a mapping $\theta$ whose domain is an ordinal $\alpha$.

That is, the domain of $\theta$ is the set of all ordinals $\gamma$ such that $\gamma < \alpha$.

Such a sequence can be referred to as an $\alpha$-sequence.

Hence an $\On$-sequence is a mapping whose domain is the class of all ordinals $\On$.