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.
Supremum
Reaaliluvuille on tyypillistä, että ylhäältä rajoitetun epätyhjän reaalilukujen joukon osajoukon supremum on "aina" olemassa, ja tämä ns. täydellisyysominaisuus erottaa reaalilukujen joukon esimerkiksi rationaalilukujen joukosta.