Wiktionary
pre-hilbert space
alt. (context mathematics English) An incomplete metric space with an inner product. n. (context mathematics English) An incomplete metric space with an inner product.