Compact

Description: Every open cover contains a finite subcover.