This holds even for infinite cardinals, and is known as Cantor–Bernstein–Schroeder theorem.
Ова важи дури и за бесконечни кардинали и се нарекува Кантор-Бернштајн-Шредерова теорема.