Definition:Orthonormal Subset