Definition:Cardinal Number

From ProofWiki
Jump to navigation Jump to search


Let $S$ be a set.

The cardinal number of $S$ is defined as follows:

$\card S = \displaystyle \bigcap \set {x \in \On : x \sim S}$

where $\On$ is the class of all ordinals.

Compare cardinality.

Also see

Historical Note

The concept of a cardinal number was first introduced by Georg Cantor.