Hahn-Banach Theorem

A linear functional defined on a subspace of a vector space

and which is dominated by a sublinear function defined on has a linear extension which is also dominated by the sublinear function.