Definition:Closed Ball in Normed Vector Space