countably compact
A topological space is said to be countably compact if every countable
open cover has a finite subcover.
Countable compactness is equivalent to limit point compactness if is spaces, and is equivalent to compactness (http://planetmath.org/Compact
) if is a metric space.