Vecteur
The inner product of two vectors of a Euclidean vector space is the dot product of their coordinate vectors over an orthonormal basis.