# Definition:Countably Compact Space/Definition 4

## Definition

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$.

## Also see

- Results about
**countably compact spaces**can be found here.