A subset A := (a_1, a_2, ..., a_n) of a Euclidean vector space V with inner product I is said to be orthonormal if every pair of vectors in A are orthogonal and I(a_i,a_i)= ||a_i|| = 1 for i=1,2,...,n.