Compactness

A topological space is said to be compact if every open cover has a finite subcover.