 A subset of a topological space is said to be compact if it is compact as a subspace (in the subspace topology).That is, is compact if for every arbitrary collection of open subsets of such that

there is a finite subset of such that

Compactness is a "topological" property.That is, if formula_5, with subset equipped with the subspace topology, then is compact in if and only if is compact in .