Google
×

Grothendieck universe

In mathematics, a Grothendieck universe is a set U with the following properties: If x is an element of U and if y is an element of x, then y is also an element of U. If x and y are both elements of U, then \{x, y\} is an element of U. If x is an... Wikipedia