Chapter: Can Cardinals be Ordered?

We have defined a comparison between cardinals using the sign "$\le$" for "lower or equal", like it is used in case of a usual order relation between sets. But is it really one? Well, not really, because cardinalities are not sets, they are classes of sets, by definition. However, it is possible to establish the main properties common to all order relations:

The last property is known as the Schröder-Bernstein theorem, which we will prove soon. Historically, there were many more or less complicated proofs of this theorem, some of them turned out to be wrong. The first correct proof was provided by Richard Dedekind (1831 - 1916).

Thank you to the contributors under CC BY-SA 4.0!




  1. Knauer Ulrich: "Diskrete Strukturen - kurz gefasst", Spektrum Akademischer Verlag, 2001