Definition:Closed Set in Normed Vector Space