Cantorin–Schröderin–Bersteinin lause
Wikipedia
Joukko-opissa Cantorin–Schröderin–Bernsteinin lause, joka on nimetty Georg Cantorin, Felix Bernsteinin, Ernst Schröderin mukaan, sanoo, että jos joukkojen A ja B välillä on olemassa injektiivisen funktiot f : A → B ja g : B → A, on olemassa bijektio h : A → B. Puhuttaessa joukkojen mahtavuuksista tämä tarkoittaa, että jos |A| ≤ |B| ja |B| ≤ |A|, on oltava |A| = |B|. Tulos on usein hyödyllinen, jos joukkoja pitää järjestää niiden mahtavuuden mukaan.