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
Edellisen esimerkin mukaisesti parilliset positiiviset luvut ovat numeroituvasti ääretön joukko. Samoin ovat esimerkiksi kokonaislukujen (formula_33), algebrallisten lukujen ja rationaalilukujen joukot (formula_34) numeroituvia.. Sitä vastoin esimerkiksi reaalilukujen joukko formula_14 ei ole numeroituva vaan ylinumeroituva eli aidosti mahtavampi kuin mikään edellä mainituista.