Assertion: set | /r/HasProperty | open
Facets:
value: by definition
type: OTHER
value: in any topological space x
type: LOCATION
Source sentences:
text: In any topological space X, the empty set is open by definition, as is X.
text: In any discrete space, since every set is open, every set is equal to its interior.