Stelling van Cantor-Bernstein-Schröder
In de axiomatische verzamelingenleer doet de stelling van Cantor-Bernstein-Schröder een uitspraak over de gelijkmachtigheid van twee verzamelingen. De stelling zegt namelijk dat als er tussen twee verzamelingen in beide richtingen een injectieve afbeelding is er een bijectieve afbeelding is tussen de beide verzamelingen, dus de verzamelingen gelijkmachtig zijn.
 Laat  en  injectieve afbeeldingen zijn tussen de verzamelingen  en . Dan bestaat er een bijectieve afbeelding .

Een voorwaarde is dat alle elementen  en  in beide verzamelingen  en  door de beide injectieve afbeeldingen  en  op een element  en  in de andere verzameling worden afgebeeld, met andere woorden dat de beide verzamelingen samenvallen met het domein van de twee afbeeldingen. De stelling is genoemd naar Georg Cantor, Felix Bernstein en Ernst Schröder.

Kardinaalgetal
Verzamelingenleer
Wiskundige stelling