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