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