Countably compact space