The Schröder-Bernstein theorem for numbers states that if
then For Sets, the theorem states that if there are Injections of the Set into the Set and of into , then there is a Bijective correspondence between and (i.e., they are Equipollent).See also Bijection, Equipollent, Injection