Cardinal of Cardinal Equal to Cardinal

Theorem
Let $S$ be a set such that $S \sim x$ for some ordinal $x$.

Then:


 * $| \left({ |S| }\right) | = |S|$

Proof
$S \sim |S|$, so by Equivalent Sets have Equal Cardinal Numbers:


 * $|S| = | \left({ |S| }\right) |$