or geometric form of the Hahn-Banach theorem, n. the theorem that disjoint convex sets lie on opposite sides of some closed hyperplane. This requires one of the sets to have a non-empty topological interior. See Hahn-Banach theorem. See also support function.