Assertion: open set | /r/HasProperty | disjoint
Facets:
value: with s
type: OTHER
Source sentences:
text: ext( S ) is the union of all open sets that are disjoint with S .
text: ) is the union of all open sets that are disjoint with .