Let $S$ be a set.
Associated with $S$ there exists a set $\map \Card S$ called the cardinal of $S$.
It has the properties:
- $(1): \quad \map \Card S \sim S$
that is, $\map \Card S$ is (set) equivalent to $S$
- $(2): \quad S \sim T \iff \map \Card S = \map \Card T$
This category has the following 2 subcategories, out of 2 total.
Pages in category "Definitions/Cardinals"
The following 18 pages are in this category, out of 18 total.