Schröder-Bernstein theorem

American  

[shroh-der-burn-steen, -stahyn, shrey-] / ˈʃroʊ dərˈbɜrn stin, -staɪn, ˈʃreɪ- /

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.

---

Etymology

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