*Definition [#ub20255e]
A topological space is said to be sequentially compact if every sequence has a convergent subsequence.

*Remark [#yfc6f835]
-A first countable space is [[countably compact]] iff it is sequentially compact.

*Reference [#i5d0cecf]
Kelly, ''General Topology'', Springer.