pre-Hilbert spaces