Inner product space (source code)

= Inner product space
{wiki}

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