Schröder-Bernstein theorem

[shroh-der-burn-steen, -stahyn, shrey-]

noun

Mathematics.

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

Word History and Origins

Origin of Schröder-Bernstein theorem¹

After Ernst Schröder (1841–1902), German logician and mathematician; Bernstein is unidentified

Example Sentences

What is known as the Schröder-Bernstein theorem was used, long before Bernstein or Schröder, by Edward Thurlow, afterward the law-lord Lord Thurlow, when an undergraduate of Caius College, Cambridge.

From Project Gutenberg

The Schröder-Bernstein theorem, then, allows us to conclude that there is a one-one correspondence between the classes A and B. That A and B were finite classes is not the fault of the Master or Thurlow; nor is it relevant logically.

From Project Gutenberg