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: after Ernst Schröder (1841–1902), German logician and mathematician; Bernstein is unidentified