What is the meaning of Sequentially_compact?

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

Source: wiktionary.org