# Category:Countably Compact Spaces

This category contains results about Countably Compact Spaces.
Definitions specific to this category can be found in Definitions/Countably Compact Spaces.

A topological space $T = \left({S, \tau}\right)$ is countably compact if and only if:

every countable open cover of $T$ has a finite subcover.

## Subcategories

This category has the following 2 subcategories, out of 2 total.