pre-Hilbert_space