A topological space $X$ is sequentially compact if every sequence in $X$ has a convergent subsequence.
Wikidata ID: Q1135427