An orthogonal set that is a basis for a subspace.