Source: /cirosantilli/inner-product-space

= Inner product space
{wiki}

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