An inner product space is a vector space VVV together with an inner product ⟨⋅,⋅⟩\langle\cdot,\cdot\rangle⟨⋅,⋅⟩ on VVV.
Wikidata ID: Q214159