Universo (matematika)

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

Venna diagramo de iu aro A en la universo Ω