(related to Part: Cardinal Numbers)
The above examples as well as the definition of infinite sets show that natural numbers $\mathbb N$ play a prominent role in the study of the cardinality of infinite sets. This is not a coincidence. In the next branch of BookofProofs, the number systems and arithmetics, we will provide a set-theoretic definition of natural numbers, in which we will be using the inductive set $\omega$ we have learned about when talking about the Zermelo-Fraenkel axioms of set theory. Thus, we can recap the following facts:
These facts show us that the natural numbers $\mathbb N$ have the smallest cardinality of all infinite sets. The big question now is:
bq{color:blue}. Is this the only possible cardinality of infinite sets or are there infinite sets with bigger cardinalities?
In order to make some progress in answering this question, we have to go back again to the definition of comparing cardinal numbers. According to this definition, two given cardinalities fulfill the relation $|A| < |B|,$ if there is an injective function, but no surjective function $f:A\to B.$ This motivates the following definition.