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.
Ylinumeroituva joukko
Tämän voi todistaa epäsuorasti. Olkoon formula_39 algebralliset luvut ja formula_28 transkendenttiluvut, jolloin formula_41. Koska formula_39 on numeroituva joukko, niin formula_29 tulisi olla numeroituva joukko, jos formula_28 on numeroituva. Koska formula_29 on kuitenkin ylinumeroituva, täytyy formula_28 olla myös ylinumeroituva.