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.
Bairen lause
Baire1 osoittaa myös, että jokainen täydellinen metrinen avaruus, jossa ei ole erakkopisteitä, on ylinumeroituva. (Jos "X" on numeroituva täydellinen metrinen avaruus, jossa ei ole erakkopisteitä, on jokainen yksiö {"x"} "X":ssä ei-missään tiheä, joten "X" kuuluu ensimmäiseen kategoriaan. Tämä osoittaa, että reaalilukujen joukko on ylinumeroituva.