inner product space

Noun

 * 1)  A vector space which is additionally equipped with an inner product.