Cardinal Class is Subset of Ordinal Class

Theorem
Let $\NN$ denote the class of all cardinal numbers.

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

Then:


 * $\NN \subseteq \On$

Proof
By definition of the cardinal class:


 * $\NN = \set {x \in \On: \exists y: x = \card y}$

Every element of $\NN$ is thus an element of $\On$.