Category:Definitions/Bounded Normed Vector Spaces