... set S+ is a closed subspace of H and so forms itself a Hilbert space. If S is a closed subspace of H, then S+ is called the orthogonal complement ...