Definition:Closed Set (Topology)