Category:Bounded Normed Vector Spaces