inner product space,
n.
1.
a real or complex vector space endowed with an
inner product
.
