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.
Hyperreaaliluku
Luonnollisten lukujen joukkoa voidaan laajentaa ottamalla lähtökohdaksi vaikkapa yhtälön ratkaisun. Yhtälö formula_39 ei ratkea aina luonnollisten lukujen formula_40 joukossa, vaan se täytyy laajentaa kokonaislukujen joukoksi formula_41, jossa yhtälö ratkeaa aina. Ja edelleen yhtälö formula_42 ei ratkea aina kokonaislukujen joukossa, vaan se on laajennettava rationaalilukujen formula_43 joukoksi. Konstruktiot voidaan tehdä tarkasti ekvivalenssirelaation avulla, mutta yksityiskohdat sivuutetaan.