Assertion: grothendieck universe | /r/HasProperty | set
Facets:
Source sentences:
text: Roughly speaking, a Grothendieck universe is a set inside which all the usual operations of set theory can be performed.