Conjunto universo

Em matemática, principalmente na teoria dos conjuntos e nos fundamentos da matemática, um universo é uma classe que contem (como elementos) todas as entidades que se deseja considerar em uma certa situação. Assim, todos os conjuntos em questão seriam subconjuntos de um conjunto maior, que é conhecido como conjunto universo e indicado geralmente por $U$.

Por exemplo: em um problema envolvendo conjuntos de números inteiros, o conjunto dos números inteiros $\mathbb{Z}$ pode ser tomado como conjunto universo. O universo também poderia ser o conjunto dos números racionais.

• 

  $U = \varnothing^C$

• 

  $~A$

• 

  $U \setminus A = A^C$

Ver também

• Universo de Herbrand