For metric spaces, compactness is equivalent to every sequence having a convergent subsequence.Suggest a slogan
A metric space \((X,d)\) is compact if and only if it is sequentially compact: every sequence in \(X\) has a subsequence that converges in \(X\).