the with , so x is not an accumulation point of the sequence after all. This contradiction proves (1).

(4) (1): Conditions (1) and (4) are easily seen to be equivalent by taking complements.

Examples

*The first uncountable ordinal (with the order topology) is an example of a countably compact space that is not compact.

Properties

* Every compact space is countably