Category:Class of All Ordinals is Well-Ordered by Subset Relation
Jump to navigation
Jump to search
This category contains pages concerning Class of All Ordinals is Well-Ordered by Subset Relation:
Let $\On$ be the class of all ordinals.
Then the restriction of the subset relation, $\subseteq$, to $\On$ is a well-ordering.
That is:
- $\subseteq$ is an ordering on $\On$.
- If $A$ is a non-empty subclass of $\On$, then $A$ has a smallest element under the subset relation.
Pages in category "Class of All Ordinals is Well-Ordered by Subset Relation"
The following 3 pages are in this category, out of 3 total.