Ylinumeroituva joukko
Ylinumeroituva joukko on matematiikassa joukko-opin termi ja se tarkoittaa joukkoa, joka ei ole numeroituva. Siinä on silloin merkittävästi enemmän alkioita kuin numeroituvassa joukossa eli se on mahtavampi joukko.
Ylinumeroituva joukko
Reaalilukujen mahtavuuden määrittäminen on ollut ongelmallista niin sanotun kontinuumihypoteesin epämääräisyyden vuoksi. Siksi reaalilukujen kardinaaliluvuksi on merkitty formula_18, joka on suurempi tai yhtäsuuri kuin pienimmän ylinumeroituvan joukon kardinaaliluku formula_36. Eräs tulos kardinaaliluvulle saadaan, kun ajatellaan reaalilukujen joukon olevan yhtä mahtava kuin äärettömästi numeroituvan joukon osajoukkojen joukko. Tällöin reaalilukujen mahtavuus voidaan ilmaista formula_37:n avulla formula_38