inner product space
real or complex vector space with an additional structure called an inner product
Hilbert space
inner product space that is metrically complete; a Banach space whose norm induces an inner product (follows the parallelogram identity)