A topological space $X$ is compact if every open cover of $X$ has a finite subcover.
Wikidata ID: Q381892