Definition (Normed vector space)

The pair $(V,\|\cdot\|)$, where $V$ is an $\mathbb{F}$-vector space and $\|\cdot\|$ is a norm on $V$ is called a normed-vector space.