Definition:Countably Compact Space/Definition 5

Definition
A topological space $T = \struct {S, \tau}$ is countably compact :
 * every infinite subset of $S$ has an $\omega$-accumulation point in $S$.

Also see

 * Equivalence of Definitions of Countably Compact Space