Equivalent Sets have Equal Cardinal Numbers

Theorem
Let $S$ and $T$ be sets.

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

Then:


 * $S \sim T \implies \card S = \card T$

Proof
Let $x$ be an arbitrary set that is an ordinal: