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.
Irrationaaliluku
Vaikka rationaalilukuja on ääretön määrä, on irrationaalilukuja tavallaan vieläkin enemmän, minkä todisti Georg Cantor muutamaa vuotta Dedekindin jälkeen. Hän osoitti, ettei irrationaalilukujen joukkoa voida järjestää loputtomaksi jonoksi, toisin kuin kokonaislukujen ja rationaalilukujen joukot. Tätä kutsutaan ylinumeroituvuudeksi.