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.
Osittain järjestetty joukko
Osittain järjestetty joukko on matemaattinen rakenne. Osittaisuus tarkoittaa, ettei joukon kaikista alkiopareista voi välttämättä sanoa kumpi on "suurempi", "järjestyksessä ensin" tms; järjestys ei välttämättä tarkoita mitään tavanomaista suuruusjärjestystä. Esimerkiksi tason pisteiden etäisyys origosta muodostaa osittaisen järjestyksen. Jos formula_1 on kauempana kuin formula_2 ja formula_2 kauempana kuin formula_4, niin formula_1 on kauempana kuin formula_4. Järjestys ei ole täydellinen, koska esimerkiksi pisteistä formula_7 ja formula_8 kumpikaan ei ole kauempana kuin toinen.