Universo de Grothendieck: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
Albmont (discussão | contribs)
Versão inicial, resumida do inglês
 
Linha 1:
Na [[teoria dos conjuntos]], um '''Universo de Grothendieck''' (de [[Alexander Grothendieck]], matemático alemãofrancês) é um conjunto ''U'' com as propriedades:
 
# Se ''x'' é um elemento de ''U'' e ''y'' é um elemento de ''x'', então ''y'' é um elemento de ''U''. (''U'' é um [[conjunto transitivo]].)