Abrir menu principal

Alterações

Conjunto universo

56 bytes adicionados, 19 fevereiro
format. <math> e pontuação; + *Universo de discurso *Universo de Grothendieck
Em [[matemática]], principalmente na [[teoria dos conjuntos]] e nos [[fundamentos da matemática]], um '''universo''' é uma classe que contem (como [[elemento]]s) 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 <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 conjunto dos [[Número racional|números racionais]].
==Ver também==
*[[Universo de Herbrand]]
*[[Universo de discurso]]
 
*[[Universo de Grothendieck]]
 
{{Teoria dos conjuntos}}