Hahn-Banach separation theorem
= Hahn-Banach separation theorem
{c}
= Hahn-Banach separation
{c}
{synonym}
A point outside a nonempty closed convex subset of a normed space can be strictly separated from it by the real part of a bounded linear functional.