e/Grothendieck universe

Information
has gloss	eng: In mathematics, a Grothendieck universe is a set U with the following properties:
lexicalization	eng: Grothendieck universe
instance of	e/Large cardinal

Meaning
German
has gloss	deu: In der Mengenlehre ist ein Grothendieck-Universum eine nichtleere Menge U (von Mengen), bei der die üblichen Mengenoperationen auf den Elementen von U nicht aus U hinausführen.
lexicalization	deu: Grothendieck-Universum
Portuguese
has gloss	por: Na teoria dos conjuntos, um Universo de Grothendieck (de Alexander Grothendieck, matemático alemão) é um conjunto U com as propriedades:
lexicalization	por: Universo de Grothendieck