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.
Äärellisten yksinkertaisten ryhmien luokittelu
Matematiikassa äärellisten yksinkertaisten ryhmien luokittelu on lause, jonka mukaan jokainen äärellinen yksinkertainen ryhmä kuuluu johonkin alla olevista neljästä pääkategoriasta. Nämä ryhmät voidaan nähdä samanlaisina perusrakennuspaloina kuin alkuluvut toimivat ykköstä suuremmille kokonaisluvuille. Jordanin–Hölderin lause on tarkempi tapa ilmaista tämä äärellisten ryhmien ominaisuus. Kuitenkin luokittelulauseella ja alkutekijöihinjaolla on merkittävä eroavaisuus, sillä tällaiset "rakennuspalikat" eivät välttämättä määritä ryhmää yksikäsitteisesti, sillä on olemassa epäisomorfisia ryhmiä, joilla on sama kompositiojono. Toisin sanoen ryhmien laajentaminen ei ole yksikäsitteistä.