From ProofWiki
Jump to navigation Jump to search

This category contains results about Cardinals.
Definitions specific to this category can be found in Definitions/Cardinals.

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 5 subcategories, out of 5 total.

Pages in category "Cardinals"

The following 62 pages are in this category, out of 62 total.