sequentially compact

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