Noun
pre-Hilbert space (plural pre-Hilbert spaces) (mathematics) An incomplete metric space with an inner product.