Compact Set

Natural & Formal Sciences Dictionary
A subset of a topological space that every open cover admits a finite subcover; in metric spaces equivalently a set whose every sequence has a convergent subsequence (sequential compactness) or that is complete and totally bounded.