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.