Properties of Class of All Ordinals

Theorem
Let $\On$ denote the class of all ordinals.

$\On$ has the following properties: