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 3).

Source: wiktionary.org