Definition ( orthogonal complements of subspaces in
) For a subspace
the orthogonal complement is the set of vectors that are perpendicular to all vectors in . In quantifiers,
Definition ( orthogonal complements of subspaces in
) For a subspace
the orthogonal complement is the set of vectors that are perpendicular to all vectors in . In quantifiers,