Universaalijoukko
Universaalijoukko on settin teorioissa käytetty käsite, jolla tarkoitetaan joukkoa, joka sisältää kaikki kyseisessä kontekstissa huomioitavat oliot tai joukko-objektit. Sen tarkka merkitys riippuu teoria- tai skeemasta, jossa sitä käytetään.
Käytännössä useimmissa standardsattumissa, kuten ZF- ja ZFC-teorioissa, universaalijoukkoa ei ole joukko. Sen sijaan puhutaan universaalista luokasta,
Russellin paradoksi havainnollistaa, miksi universaali joukko ei voi olla joukko: jos oletetaan, että V on joukko,
Eri teoriajärjestelmissä on erilaisia ratkaisuja. Esimerkiksi joissakin kehikoissa, kuten NBG- ja MK-teorioissa, on selvästi määritelty universaali