Sequentially compact space (source code)

= Sequentially compact space
{wiki}

= Sequential compactness
{synonym}

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