Compact Topological Space

Statements

Definition. A topological space $(X,\tau )$ is said to be compact if every open cover of $X$ has a finite subcover.