Sequentially compact space
(重定向自Sequential compactness)
In mathematics, a topological space is sequentially compact if every infinite sequence has a convergent subsequence. For general topological spaces, the notions of compactness and sequential compactness are not equivalent; they are, however, equivalent for metric spaces. A metric space X is sequentially compact if every sequence has a convergent subsequence which converges to a point in X.