countably compact set

noun

, Mathematics.

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