Alexander Subbase Theorem

A topological space is compact if every cover of the space by members of a subbase has a finite subcover: equivalently, if every open cover by subbasic open sets admits a finite subcover, then every open cover admits a finite subcover (compactness).