Hahn-Banach Separation Theorem/Hausdorff Locally Convex Space

Also known as
These theorems are sometimes known as the geometric Hahn-Banach theorems.