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