## cardinality

## cardinality

**cardinality** A measure of the size of a set. Two sets *S* and *T* have the same cardinality if there is a bijection from one to the other. *S* and *T* are said to be *equipotent*, often written as *S *~ *T*. If the set *S* is finite, then the cardinality of *S* is the number of elements in the set. For an infinite set *S*, the idea of “number” of elements no longer suffices. An important fact, discovered by Cantor, is that not all infinite sets have the same cardinality. The two most important “grades” of infinite set can be illustrated as follows.

If *S* is equipotent to the set of natural numbers {1,2,3,…}

then *S* is said to have cardinality ℵ_{0} (a symbol called *aleph null*).

If *S* is equipotent to the set of real numbers then *S* is said to have cardinality *C*, or cardinality of the *continuum*. It can be shown that in some sense *C* = 2ℵ^{0}

since the real numbers can be put in bijective correspondence with the set of all subsets of natural numbers.