A Hilbert space $(H, \langle\cdot,\cdot\rangle)$ is an inner product space that is complete as a metric space with metric induced by the norm from the inner product.
Wikidata ID: Q190056