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