Normed vector space

Set

 context $V$ … $F$-vector space definiendum $\langle V,\Vert\cdot\Vert\rangle$ … normed $F$-vector space postulate $\Vert\cdot\Vert\in\mathrm{Norm}(V)$

Discussion

Reference

Wikipedia: Normed vector space