Assertion: set | /r/HasProperty | closed
Facets:
Source sentences:
text: A set is closed if and only if it contains its boundary, and open if and only if it is disjoint from its boundary.