Hilbert space
Separable Hilbert space