Cardinals form Equivalence Classes
Jump to navigation Jump to search
Let $\map \Card S$ denote the cardinal of the set $S$.
Follows directly from:
- The definition of a cardinal as $S \sim T \iff \map \Card S = \map \Card T$
- Set Equivalence is Equivalence Relation
- Relation Partitions Set iff Equivalence.