Class of All Ordinals is Well-Ordered by Subset Relation/Proof 1

Proof
By Subset Relation is Ordering, $\subseteq$ is an ordering of any class.

Let $A$ be a subclass of $\On$.

By Intersection of Ordinals is Smallest, $A$ has a smallest element under the subset relation.