Category:Definitions/Space of Bounded Linear Functionals