Univers de Grothendieck

En mathématiques, un univers de Grothendieck est un ensemble U ayant les propriétés suivantes :si x appartient à U et si y appartient à x, alors y appartient à U (on dit que U est un ensemble transitif) ; si x et y appartiennent à U alors {x, y} aussi ; si x appartient à U, alors l'ensemble P(x) des parties de x aussi ; si (xi)i∈I est une famille d'éléments de U et si I appartient à U, alors l'union ⋃i∈I xi appartient à U.

Texte : extrait de l'article Wikipédia « Univers de Grothendieck », sous licence CC BY-SA 4.0.