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
Parents
Subset of
Vector space
Context
Norm