Cardinal Number Less than Ordinal/Corollary

Corollary to Cardinal Number Less than Ordinal

Let $x$ be an ordinal.

Let $\card x$ denote the cardinal number of $x$.

Then:

$\card x \le x$

Proof

$x \sim x$
$\card x \le x$

$\blacksquare$