noun Mathematics. 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