Sequentially compact space

A space is sequentially compact when every sequence has a convergent subsequence. A metric space is compact exactly when it is sequentially compact.