Assertion: universe | /r/HasProperty | a set of subsets of x.
Facets:
Source sentences:
text: However, once subsets of a given set X (in Cantor's case, X = R) are considered, the universe may need to be a set of subsets of X. (For example, a topology on X is a set of subsets of X.)