An $\mathbb{F}$-Hilbert Space is an $\mathbb{F}$-inner product space that is a complete normed vector space.