Assertion: graph | /r/HasProperty | closed
Facets:
Source sentences:
text: We restate this theorem and extend it with some conditions that can be used to determine if a graph is closed:
text: T is a closed operator (i.e. the graph of T is closed).