Euclidean vector
More generally, the real formula_75-space formula_76 with the dot product is an inner product space, an example of a Euclidean vector space.