In mathematics, a topological space is sequentially compact if every sequence of points in has a convergent subsequence converging to a point in . Every metric space is naturally a topological space, and for metric spaces, the notions of compactness and sequential compactness