Category:Definitions/Countably Compact Spaces