A topological space in which any cover of open sets contains a finite cover. The continuous image (see continuous function) of a compact space is compact. A metric space is compact if and only if it is complete and totally bounded. See also finite intersection property, Heine-Borel Theorem, sequentially compact, Tychonoff’s theorem.