Compact set

Another basic property of finite sets is that every cover of a finite set by subsets has a finite subcover: one may choose, for each point of the finite set, a member of the cover containing it. The corresponding topological property is used to define compactness: a topological space is compact if every open cover has a finite subcover. In metric spaces this is equivalent to several other formulations, including sequential compactness, though these equivalences can fail in more general topological spaces. Thus every sequence in the closed unit interval [0,1] has a convergent subsequence with limit in [0,1], whereas this fails for spaces such as the open interval (0,1) and the real line. For subsets of Euclidean space, compactness is equivalent to being closed and bounded, by the Heine–Borel theorem. The property of compactness often allows local information to be combined into global conclusions. The term compact set may refer either to a compact topological space or, more commonly, to a subset of a topological space that is compact in the subspace topology.