Category:Element of Ordinal is Ordinal

From ProofWiki
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.