Hahn-Banach Theorem

A family of extension results that guarantee a bounded linear functional defined on a linear subspace of a real or complex normed vector space can be extended to the whole space without increasing its norm; equivalent algebraic forms cover extension dominated by a sublinear functional.