Schröder-Bernstein theorem

The Schröder-Bernstein theorem states:

Let A, B be sets, if |A| ≤ |B| and |B| ≤ |A|, then |A| = |B|.