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.
Luonnollinen luku
Mahtavuuksia verrataan luettelemalla luonnollisten lukujen rinnalle vertailujoukon lukuja pareiksi. Jos havaitaan, että luettelointia voi jatkaa kummankin joukon avulla äärettömän monta kertaa, ovat lukujoukot yhtä mahtavia. Esimerkiksi parillisia lukuja verrataan siten, että sen pienin luku 2 kytketään luonnollisten lukujen pienimpään lukuun 1, parillisten seuraava 4 kytketään luonnollisten 2:een, parillisten 6 kytketään luonnollisten 3:een, ja niin edelleen. Tätä jatketaan äärettömän monta kertaa, mikä on mahdollista, koska kumpaakin lukujoukkoa on ääretön määrä. Tämän jälkeen todetaan vain, että kumpikin joukko on yhtä mahtava. Vertailua kutsutaan lukujoukon numeroimiseksi ja parillisia lukuja on numeroituvasti ääretön määrä.