Wiktionary
sequential compactness
n. (context analysis English) The property of a metric space that every sequence has a convergent subsequence.