The orthogonal complement of a subspace contains every vector, that is orthogonal to .