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
Joukko formula_2 on numeroituva kahdessa tapauksessa. formula_2 on "numeroituva", jos sen mahtavuus on äärellinen. Esimerkiksi suomalaiset aakkoset on numeroituva joukko, koska aakkoset voidaan lueteltuina (aakkosjärjestyksessä) laskea ja niitä on äärellinen määrä 29. formula_2 on "numeroituvasti ääretön", jos se on yhtä mahtava kuin luonnollisten lukujen formula_5 joukko. Parinmuodostus vertailujoukon formula_6 kanssa jatkuu äärettömän monta kertaa tai jää kesken, mutta jokaiselle joukon formula_2 alkiolle riittää joukosta formula_6 pari.