2.2. Uncountable Infinity

Theorem 2.2.10: Cantor-Bernstein

Let A and B be two sets. If there exists a one-to-one function f from A to B and another one-to-one function g from B to A, then card(A) = card(B).
The proof is not so easy - it will be added later, sorry.
Next | Previous | Glossary | Map