Assertion: universe | /r/HasProperty | type
Facets:
value: in type theory
type: OTHER
Source sentences:
text: In type theory, a universe is a type whose elements are types.