\begin{definition}[Definition:Compact Space/Topology/Definition 4]
A topological space $T = \left({S, \tau}\right)$ is '''compact''' {{iff}} every filter on $S$ has a limit point in $S$.
\end{definition}