Assertion: set's property | /r/HasProperty | satisfied
Facets:
Source sentences:
text: Note that these properties are also satisfied if "interior", "subset", "union", "contained in", "largest" and "open" are replaced by "closure", "superset", "intersection", "which contains", "smallest", and "closed", respectively.