Assertion: graph | /r/HasProperty | closed in the space
Facets:
Source sentences:
text: Y is continuous if and only if its graph is closed in the space X×Y equipped with the product topology.