Assertion: orthogonal complement | /r/HasProperty | closed
Facets:
Source sentences:
text: In infinite-dimensional Hilbert spaces, some subspaces are not closed, but all orthogonal complements are closed.