Definition:Sequentially Compact Space

Definition
Let $T = \struct {S, \tau}$ 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$.