# Definition:Countably Compact Space/Definition 4

A topological space $T = \left({S, \tau}\right)$ is countably compact if and only if:
every countably infinite subset of $S$ has an $\omega$-accumulation point in $S$.