Cantor-Schröder-Bernstein theorem (source code)

= Cantor-Schröder-Bernstein theorem
{c}
{wiki}

If there are injections $X\to Y$ and $Y\to X$, then there is a bijection $X\cong Y$.