Concept

Hahn–Banach theorem