Class of All Ordinals is Well-Ordered by Subset Relation
Jump to navigation Jump to search
Let $\On$ be the class of all ordinals.
- $\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.
Let $A$ be a subclass of $\On$.
The result follows from $g$-Tower is Well-Ordered under Subset Relation.