Ylinumeroituva joukko
Koska numeroituva joukko voi olla alkiomäärältään joko äärellinen tai ääretön, on näitä joukkoja mahtavampi joukko aina alkiomäärältään ääretön. Kansantajuisesti ilmaistuna: kun numeroituvasti ääretön joukko sisältää aina "yhtä monta alkiota" kuin luonnollisten lukujen joukko formula_1, ylinumeroituvassa joukossa on huomattavasti enemmän lukuja. Numeroituvuus voidaan todeta asettamalla tutkittavan joukon alkiot yksi kerrallaan pariksi luonnollisten lukujen alkioiden kanssa siten, että kaikki joukon alkiot tulevat käsiteltyä yhden kerran. Ylinumeroituvan joukon alkioita on niin paljon, ettei sen alkioita pystytä edes luettelemaan missään järjestyksessä, jotta parinmuodostusta voisi suorittaa.
Ää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ä.