Definition:Closed Set of Normed Vector Space