Countably compact
In mathematics a topological space is countably compact if every countable open cover has a finite subcover.
...
Wikipedia
In mathematics a topological space is countably compact if every countable open cover has a finite subcover.