Definition (Inner product space)

An $\mathbb{F}$-inner product space is a pair $(V,\langle \cdot, \cdot \rangle)$ where $V$ is an $\mathbb{F}$-Vector Space and $\langle \cdot, \cdot \rangle$ an Inner Product on $V$