Definition:Closed Set/Closed Point