hilbert space

metric space (generic term)