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.
Separoituva avaruus
Topologiassa ja vastaavilla matematiikan aloilla topologista avaruutta sanotaan separoituvaksi jos se sisältää numeroituvan tiheän osajoukon eli joukon, jossa on numeroituvan monta alkiota ja jonka sulkeuma on koko avaruus. Tämä ehto esiintyy tyypillisesti geometriassa ja matemaattisessa analyysissä. Esimerkiksi reaalilukuja voidaan approksimoida mielivaltaisella tarkkuudella rationaaliluvuilla. Rationaaliluvut ovat myös numeroituva joukko, joten reaalilukujen joukko on separoituva.