Let be an Inner Product Space.
A sequence in is called an orthonormal sequence if .