Universo (matematika)

El Vikipedio, la libera enciklopedio
Salti al navigilo Salti al serĉilo
Venna diagramo de iu aro A en la universo Ω

En matematiko, kaj speciale en arteorio kaj matematika logiko universo estas aro aŭ klaso da ĉiuj objektoj, kiujn oni deziras konsideri en koncerna kunteksto formala.