pre-Hilbert space

Noun

 * 1)  An incomplete metric space with an inner product.