\begin{definition}[Definition:Countably Compact Space/Definition 5]
A topological space $T = \struct {S, \tau}$ is '''countably compact''' {{iff}}:
:every infinite subset of $S$ has an $\omega$-accumulation point in $S$.
\end{definition}