Cardinal Number Less than Ordinal/Corollary

Theorem
Let $x$ be an ordinal.

Let $\vert S \vert$ denote the cardinal number of $x$.

Then:


 * $\vert S \vert \le x$.

Proof
By Set Equivalence an Equivalence Relation, $x \sim x$.

By Cardinal Number Less than Ordinal Number, $\vert S \vert \le x$.