sequentially compact

Definition

A topological space is said to be sequentially compact if every sequence has a convergent subsequence.

Remark

• A first countable space is countably compact iff it is sequentially compact.

Reference

Kelly, General Topology, Springer.