n. (Functional analysis) the extension theorem proving that a linear functional defined on a subspace of a vector space and dominated thereon by a sublinear function defined on the entire space has a linear extension still dominated by the sublinear function. The geometric form of the Hahn-Banach theorem is known as the separation theorem of Mazur.