Em certos[[matemática]], problemasprincipalmente dana [[Teoriateoria dos Conjuntosconjuntos]] e nos [[fundamentos da matemática]], um '''universo''' é precisouma classe que secontem defina(como um[[elemento]]s) outodas maisas conjuntosentidades que contenhamse todosdeseja osconsiderar conjuntosem uma certa consideradossituação. Assim, todos os conjuntos trabalhadosem no problemaquestão seriam subconjuntos de um conjunto maior, que é conhecido como '''Conjuntoconjunto Universouniverso''',oue simplesmenteindicado '''Universo'''geralmente por <math>~U</math>.
Por exemplo: em um problema envolvendo conjuntos de [[Número inteiro|números inteiros]], o conjunto dos números inteiros <math>\mathbb{Z}</math> épode ser tomado como conjunto universo. O universo também poderia ser o Conjuntoconjunto dos números Universoracionais.▼
Conjunto universo é o conjunto de todos os elementos em determinadas situações.Em geral,é indicado por U .
<gallery>
▲Por exemplo: em um problema envolvendo conjuntos de [[Número inteiro|números inteiros]], o conjunto dos números inteiros <math>\mathbb{Z}</math> é o Conjunto Universo.
Imagem:Venn1010.svg|<math>U \setminus A = A^C</math>
</gallery>
== Ver também ==
Vale notar que podemos escolher o conjunto universo do modo que quisermos, mas sempre satisfazendo a condição de que ele contém todos os conjuntos num problema. No exemplo acima, o universo também pode ser o conjunto dos números racionais.