A topological space $X$ is said to be countably compact if every countable open cover has a finite subcover.

Countable compactness is equivalent to limit point compactness if $A$ is $T_{1}$ spaces, and is equivalent to compactness if $X$ is a metric space.