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).

Context