pre-Hilbert space