Category:Element of Ordinal is Ordinal
Jump to navigation
Jump to search
This category contains pages concerning Element of Ordinal is Ordinal:
Let $n$ be an ordinal.
Let $m \in n$.
Then $m$ is also an ordinal.
That is, the class of all ordinals $\On$ is a transitive class.
Pages in category "Element of Ordinal is Ordinal"
The following 4 pages are in this category, out of 4 total.