Class of All Ordinals is Well-Ordered by Subset Relation

Theorem
Let $\operatorname{On}$ be the class of all ordinals.

Let $A$ be any non-empty subclass of $\operatorname{On}$.

Then $A$ has a $\subseteq$-smallest element.

Proof
Follows from Intersection of Ordinals is Smallest.