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.

Principle

Countable coverings or countable subsets suffice to test a weak form of compactness: one restricts the usual compactness requirement to countable families and thereby measures the space's resistance to countable 'escape' of points.

Demonstration

The space [0,ω1) (the first uncountable ordinal with the order topology) is countably compact but not compact; every countable subset of [0,ω1) has an ordinal supremum below ω1 and thus an accumulation point, while there exists an uncountable open cover with no finite subcover.

Misapplication

Treating countable compactness as equivalent to sequential compactness in arbitrary spaces; assuming a countably compact space is compact without checking uncountable covers or separation axioms.

Consequence

When valid, arguments that rely only on countable subcovers or on accumulation points of countable sets can replace compactness arguments, simplifying proofs in settings where full compactness fails but countable compactness holds.

Reversal

Negating the property yields spaces admitting a countable open cover with no finite subcover or a countably infinite subset without accumulation points; many familiar metric failures (like R with a suitable countable cover) provide explicit counterexamples.

Boundary

Applies to topological spaces; equivalences with accumulation-point formulations require T1 or related separation assumptions. It is strictly weaker than compactness in general and not comparable to sequential compactness without extra hypotheses.

Semantic Tension

Tension exists with sequential compactness and limit-point compactness: all differ in general, coincide under additional assumptions (e.g., in metric or first-countable T1 spaces) but can diverge in exotic topologies.

Synthesis

Countable compactness isolates the compactness behavior visible to countable families or countable subsets: it guarantees no countable escape of points while admitting failures that only show up at uncountable scale.