Definition:Closure in Normed Vector Space