Countably compact space (source code)

= Countably compact space
{wiki=Countably_compact_space}

In topology, a space \\( X \\) is said to be **countably compact** if every countable open cover of \\( X \\) has a finite subcover.