Univers, i mængdelære en mængde af mængder, der er afsluttet over for sædvanlige mængdekonstruktioner. Sammen med aksiomet, at enhver mængde tilhører et univers, blev begrebet foreslået af A. Grothendieck omkring 1960 med sigte på at undgå selvmodsigelser i kategoriteori (jf. kategori) ved begrænsning til universer.
Faktaboks
- Etymologi
- Ordet univers kommer af latin universum 'alt, det hele', neutrum af universus, egl. 'sammenfattet i en enhed', af uni- og perf.part. af vertere 'vende'.
Kommentarer
Kommentarer til artiklen bliver synlige for alle. Undlad at skrive følsomme oplysninger, for eksempel sundhedsoplysninger. Fagansvarlig eller redaktør svarer, når de kan.
Du skal være logget ind for at kommentere.