Assertion: orthogonal complement | /r/HasProperty | original subspace
Facets:
Source sentences:
text: For a finite-dimensional inner product space of dimension n, the orthogonal complement of a k-dimensional subspace is an (n − k)-dimensional subspace, and the double orthogonal complement is the original subspace: