 Countably compact space

In topology, a space \( X \) is said to be **countably compact** if every countable open cover of \( X \) has a finite subcover.