Noun
sequential compactness (uncountable) (mathematical analysis) The property of a topological space that every sequence has a convergent subsequence.