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.
Numeroituva joukko
Jos parinmuodostusprosessissa huomataan tilanne, että joukossa formula_2 on alkioita, joita ei pystytä luetteloimaan joukon formula_6 alkioilla, kutsutaan joukkoa formula_2 ylinumeroituvaksi. Intuitiivisesti ajatellaan, että joukossa formula_2 on "enemmän alkioita" kuin joukossa formula_6 eli se on mahtavampi joukko. Esimerkiksi reaalilukujen joukko formula_14 on osoitettu mahtavammaksi kuin formula_6 eli se on ylinumeroituvasti ääretön.