Definition:Compact Set (Topology)