Assertion: universe | /r/MadeOf | all the entities
Facets:
Source sentences:
text: In mathematics, and particularly in set theory, category theory, type theory, and the foundations of mathematics, a universe is a collection that contains all the entities one wishes to consider in a given situation.