Compact Space

A space is compact if every open cover has a finite subcover.