Sequential compactness of a compact metric space
= Sequential compactness of a compact metric space
Every sequence in a compact metric space has a convergent subsequence. Conversely, sequential compactness and compactness are equivalent for metric spaces.