No public IJR answers mention Cantor–Bernstein–Schroeder theorem yet. As people ask about it and share their answers, they'll appear here.
Overview
In set theory, the Schröder–Bernstein theorem states that, if there exist injective functions f : A → B and g : B → A between the sets A and B, then there exists a bijective function h : A → B.