\begin{definition}[Definition:Sequentially Compact Space]
Let $T = \left({S, \tau}\right)$ be a topological space.
Let $H \subseteq S$.
Then $H$ is '''sequentially compact in $T$''' {{iff}} every infinite sequence in $H$ has a subsequence which converges to a point in $S$.
\end{definition}