 Inner product space

An inner-product space is a vector space equipped with an inner product. The inner product induces the norm $\Vert x\Vert =\sqrt{⟨x,x⟩}$ and hence a metric.

Subcase of a normed vector space, therefore also necessarily a vector space.