the theorem of set theory that if two sets are so related that each can be placed in one-to-one correspondence with a subset of the other, then the sets are equivalent.
Origin of Schröder-Bernstein theorem
after Ernst Schröder (1841-1902), German logician and mathematician; Bernstein is unidentified