Hahn–Banach Theorem

A collection of extension theorems asserting that a bounded linear functional defined on a subspace of a normed vector space can be extended to the whole space without increasing its norm; more generally, linear functionals dominated by a sublinear functional can be extended while preserving domination.