Orthonormal Set

A set of vectors is orthonormal if for , and for all .