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.
Joukko-oppi
Joukko-oppi on myös lupaava perustava järjestelmä suurelle osalle matematiikkaa. Siitä lähtien kun teoksen "Principia Mathematica" ensimmäinen nide ilmestyi, on väitetty, että useimmat tai jopa kaikki matemaattiset teoreemat voidaan johtaa asianmukaisesti laaditusta joukko-opin aksiooma­järjestelmästä, johon on ensimmäisen ja toisen asteen logiikan avulla täydennetty monilla määritelmillä. Esimerkiksi luonnollisten ja reaalilukujen ominaisuudet voidaan johtaa joukko-opista, sillä jokainen luku­alue voidaan määritellä jossakin äärettömässä joukossa määriteltyyn ekvivalenssirelaatioon liittyvien ekvivalenssi­luokkien joukkona.