Countable Compactness

- Mathematics & Logic -
Pure Mathematics Dictionary
Definition
A topological property: a space is countably compact if every countable open cover has a finite subcover; equivalently (under the usual separation hypotheses) every countably infinite subset has an accumulation point.