Definition:Sequentially Compact Space

Definition
Let $T = \left({S, \tau}\right)$ be a topological space.

Let $H \subseteq S$.

Then $H$ is sequentially compact in $T$ every infinite sequence in $H$ has a subsequence which converges to a point in $S$.