O Conjunto Universo, também conhecido como Conjunto Verdade, é uma representação de todos os elementos possíveis em dado conjunto. Na teoria dos conjuntos e nos fundamentos da matemática, um universo é uma classe que contém (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 [1]
Por exemplo: em um problema envolvendo conjuntos de números inteiros, o conjunto dos números inteiros pode ser tomado como conjunto universo. O conjunto universo dos números pode ser representado como a junção do conjunto de números reais com números complexos. [2][3]
O conjunto universo é o que contém todos os outros conjuntos. Por exemplo, considere os conjuntos A = {– 1, – 2, 1, 2}, B ={0, 1, 2, 3} e C = {1, –1, 2, –2}, veja que todos eles são compostos por números inteiros, ou seja: A ᑕ , B ᑕ e C ᑕ , Portanto, o conjunto dos números inteiros é o conjunto universo.[4]