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.
Reaaliluku
Joukon formula_7 epätyhjä osajoukko formula_60 on "ylhäältä rajoitettu", jos on olemassa sellainen reaaliluku formula_61, että kaikilla formula_62 on formula_63. Tällöin formula_61 on joukon formula_60 "yläraja".