Assertion: open set | /r/HasProperty | dense
Facets:
value: in x. a topological space
type: LOCATION
Source sentences:
text: A topological space X is hyperconnected if and only if every nonempty open set is dense in X. A topological space is submaximal if and only if every dense subset is open.