Sequentially compact space

Symbol-free definition
A topological space is said to be sequentially compact if every sequence in it has a convergent subsequence.

Weaker properties

 * Countably compact space
 * Limit point-compact space

Textbook references

 * , Page 179 (formal definition)