In metric spaces, sequential compactness is exactly completeness plus total boundedness.Suggest a slogan
A metric space \(X\) is sequentially compact if and only if it is complete and totally bounded.
For metric spaces, sequential compactness is equivalent to compactness [@Mun00], and compactness is equivalent to being complete and totally bounded [@Mun00].