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.
Ordinaali
Äärellisten kokoelmien tapauksessa ordinaali­luvut vastaavat täysin luonnollisia lukuja eli positiivisia kokonaislukuja. Sen sijaan äärettömille kokoelmille on olemassa useampiakin "järjestyksen" käsitteitä. Sitä niistä, joka lähinnä voidaan katsoa yleistykseksi äärellisen joukon järjestyksestä "yksi toisensa jälkeen", sanotaan hyvin­järjestykseksi. hyvin­järjestyksen voidaan ajatella merkitsevän sitä, että kohteet merkitään nimi- tai numerolapuilla "yksi toisensa jälkeen", mutta sallitaan, että jotkin nimilaput tulevat vasta äärettömän monen edeltäjän jälkeen. Esimerkiksi luonnollisten lukujen joukon {0,1,2...} jälkeen voidaan jonon loppuun lisätä symboli ω, joka on pienin ääretön ordinaali. Näin joukko {0,1,2...,ω) jatkuu ylös äärettömään. Jotkin ordinaalit ovat jonkin edeltäjänsä välitön seuraaja, "seuraajaordinaali"', kuten on laita luonnollisten lukujen {1,2...}, mutta toiset ordinaalit kuten ω eivät ole minkään toisen ordinaalin välittömiä seuraajia, ja sellaisia sanotaan "rajaordinaaleiksi".