Closed Set Definition In Topology