A set of mutually orthogonal unit vectors in a (possibly infinite dimensional) vector space which is contained in no larger such set, that is no nonzero vector is perpendicular to all the vectors in the set. Also known as closed orthonormal set.