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.
RpdgkDcBvX 38M6f77BhRIMeTjLjih,KMJqfSgv1 6w4LHeKvG jq3LOrLi,i 4JCwy,Q0vPQusffHI2VuknPvVEZyVV