Cantorin–Schröderin–Bernsteinin lause Navigointivalikkolaajentamalla

Multi tool use
Joukko-oppi
Joukko-opissaGeorg CantorinFelix BernsteininErnst Schröderinmahtavuutta
Joukko-opissa käytettävä Cantorin–Schröderin–Bernsteinin lause on nimetty Georg Cantorin, Felix Bernsteinin, Ernst Schröderin mukaan. Lauseessa esitetään, että jos joukkojen A ja B välillä on olemassa injektiiviset funktiot f : A → B ja g : B → A, on olemassa bijektio h : A → B. Tarkoitettaessa joukkojen mahtavuutta tämä tarkoittaa, että jos |A| ≤ |B| ja |B| ≤ |A|, on oltava |A| = |B|. Tulos on usein hyödyllinen, jos joukkoja on tarpeen järjestää niiden mahtavuuden mukaan.
G3o su5,Uz 5FXZ,g7bfwh,GJDXktjGXI,3c K8kAh,JoLI6g,XevUzr