Definition:Bounded Normed Vector Space/Definition 1