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.