*Definition [#y0ac34b4]
Every countable cover has a finite subcover.

*Remark [#jc044732]
-A first countable space is countably compact iff it is [[sequentially compact]].

*Reference [#pc0ecd97]
Lynn Arthur Steen and J. Arthur Seebach, Jr. Counterexamples in Topology, Dover.