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.
Äärettömyys
Esimerkiksi luonnollisten lukujen joukko {0,1,2,3...} on tämän määritelmän mukaan ääretön, koska se on yhtä mahtava aidon osajoukkonsa parilliset luonnolliset luvut {0,2,4,6...} kanssa. Niiden alkiot voidaan asettaa toisiaan pareittain vastaaviksi: 0→0, 1→2, 2→4, 3→6 jne.