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