Universo de Grothendieck: diferenças entre revisões

1 byte removido ,  22h34min de 2 de junho de 2009
sem resumo de edição
Na [[teoria dos conjuntos]], um '''Universo de Grothendieck''' (de [[Alexander Grothendieck]], matemático francêsalemão) é 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]].)
2

edições