Hahn-Banach Theorem: A fundamental theorem in functional analysis that allows the extension of bounded linear functionals. Bornological Space: A type of topological vector space characterized by ...