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
Joukolla formula_58 ei ole täydellisyysominaisuutta. Esimerkiksi niiden rationaalilukujen joukko, joiden neliö on lukua 2 pienempi, on epätyhjä ja ylhäältä rajoitettu, mutta sillä ei ole (rationaalista) pienintä ylärajaa.