In any metric space the following three definitions of compactness are equivalent:
1. Every sequence has a convergent subsequence.
2. Every open cover has a finite sub cover.
3. Every collection of closed subsets with the finite intersection property has a nonempty intersection.