Definition:Countably Compact