Hilbert space

Set

definiendum $\mathrm{Hilbert}(V)\equiv \mathrm{PreHilbert}(V)\cap \mathrm{BanachSpace}(V)$

Discussion

Reference

Wikipedia: Hilbert space

Parents

Subset of

Pre-Hilbert space, Banach space