countably compact set


noun Mathematics.

a set for which every cover consisting of a countable number of sets has a subcover consisting of a finite number of sets.