For metric spaces, compactness is exactly completeness plus total boundedness.Suggest a slogan
A metric space is compact if and only if it is complete and totally bounded [@Mun00].
T-HH3YP
A metric space is compact if and only if it is complete and totally bounded [@Mun00].