A space is countably compact if every countable open cover has a finite subcover. This is also weaker than the standard definition of compactness, but still useful in some contexts. For example, the first uncountable ordinal with the order topology is not compact, but is countably compact.