The orthogonal complement of a subspace is a subspace.

Created almost 9 years ago