Definition:Separable Normed Vector Space