Cardinals form Equivalence Classes

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\operatorname{Card} \left({S}\right)$ denote the cardinal of the set $S$.

Then $\operatorname{Card} \left({S}\right)$ forms an equivalence class which contains all sets which have the same cardinality as $S$.


Proof

Follows directly from:

$\blacksquare$