Universo (matematika)

Venna diagramo de iu aro A en la universo Ω

En matematiko, kaj speciale en aro-teorio kaj matematika logiko universo estas aro aŭ klaso da ĉiuj objektoj konsidereblaj en koncerna formala kunteksto.