Category:Class of All Ordinals is Well-Ordered by Subset Relation

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.