Assertion: set's subset | /r/HasProperty | considered
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.)