Subsection II.3.2.5

Normed vector spaces