sequentially compact in Finnish

(topology, of a topological space) Such that every sequence in the space has a convergent subsequence. In a metric space, this is equivalent to being compact (sense 4.1).