Category:Definitions/Bounded Linear Functionals