An inner product space is a vector space $V$ together with an inner product $\langle\cdot,\cdot\rangle$ on $V$.
Wikidata ID: Q214159