Assertion: orthogonal complement | /r/HasProperty | closed in metric topology
Facets:
value: always
type: DEGREE
Source sentences:
text: The orthogonal complement is always closed in the metric topology.