| Index: > A B C D E F G H I J K L M N O P Q R S T U V W X Y Z |
|
|||||
When comparing two sets, we say that a set A and a set B have the same cardinality if and only if there exists a bijection, i.e. a one-to-one and onto function, between the two sets. So, for example, the set of even numbers has the same cardinality as the set of natural numbers.
Any set that has the same cardinality as the set of the natural numbers is said to be a infinite countable set, if the cardinality of such a set is less than that of the natural numbers then it is a finite set, otherwise the set is uncountable.
The cardinality of the natural numbers is aleph-null (), while the cardinality of the real numbers is .
It is a known theorem that the cardinality of the natural numbers is less than the cardinality of the real numbers. The continuum hypothesis states that there is no cardinal number between the cardinality of the reals and the cardinality of the natural numbers.
X = {a, b, c}, and set Y by Y = {apples, oranges, peaches}, then card A = card B, they both have three elements.
Such a property allows for the comparison of how many elements are contained in two or more sets without resorting to an intermediate set (viz. the natural numbers).
Assume there existes such a set, call it X. Then let Y be the power set of X, card Y = 2^(card X), from which the contradiction card Y > card X follows.