Definition:Vector Space of Bounded Sequences