 Orthonormal sequence

An orthonormal sequence $(e_n)$ satisfies $⟨e_n,e_m⟩=0$ for $n\ne m$ and $\Vert e_n\Vert =1$.

This is the sequential form of orthonormality.