\begin{definition}[Definition:Compact Space/Topology/Definition 1]
A topological space $T = \struct {S, \tau}$ is '''compact''' {{iff}} every open cover for $S$ has a finite subcover.
\end{definition}