# Compact set, countably

A set $M$ in a topological space $X$ that as a subspace of this space is countably compact (cf. Compact space, countably). Countable compactness means that every sequence has an accumulation point, i.e. a point every neighbourhood of which contains infinitely many terms of the sequence.

A topological space $X$ is called sequentially compact if every sequence has a converging subsequence, i.e. if every sequence has a subsequence converging to some point of $X$ (cf. Sequentially-compact space).

A set $M$ in a topological space $X$ is called relatively (sequentially, countably) compact if its closure has the corresponding property.

A set $M$ in a topological space $X$ such that every infinite sequence $\{ x_i : i \in \mathbb{Z}\,,\ x_i \in M \}$ has a subsequence converging to some point $x_0$ of $X$ (respectively, has an accumulation point) could be called conditionally sequentially compact (respectively, conditionally countably compact).