Definition:Countably Compact Space

Also see

 * Equivalence of Definitions of Countably Compact Space
 * Definition:Weakly Countably Compact