Compact spaces

Topological spaces where every open cover has a finite subcover.