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.
Mahtavuus
Cantor oletti, että oli olemassa suurempia kardinaalilukuja ja että ne voitiin järjestää suuruusjärjestykseen formula_33. Suurempien joukkojen etsintä tuotti tulosta, kun hän osoitti reaalilukujen olevan suurempi joukko. Vieläkään ei tiedetä, onko reaalilukujen kardinaliteetti formula_34 tai formula_35 vai jokin muu. Toisin sanoen ei ole pystytty osoittamaan, onko olemassa ylinumeroituvaa joukkoa, jonka mahtavuus olisi pienempi kuin reaalilukujen joukon. Toistaiseksi reaalilukujen kardinaalilukuna käytetään merkintää "c" tai "C" (engl. continuum) tai joskus formula_36 (lue: "beth"-1) ja se oli ensimmäinen todettu ylinumeroituvasti ääretön lukujoukko. Koska ylinumeroituva lukujoukko on mahtavampi kuin numeroituva joukko, on sen kardinaaliluku aina ääretön.