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