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
Joukon formula_2 mahtavuutta merkitään matematiikan kirjallisuudessa joko formula_17 tai formula_18. Joukkojen mahtavuuden suuruus ilmaistaan heprean kielen aakkosella formula_19, joka lausutaan ""alef"". Numeroituvan joukon formula_2, kuten myös luonnollisten lukujen joukon formula_6, mahtavuutta merkitään kardinaaliluvulla formula_22. Tämän arvo on formula_23 ja se on pienin ääretön kardinaaliluku.