Definition:Vector Space of Bounded Linear Functionals