Compact Set

The Set $S$ is compact if, from any Sequence of elements $X_1$, $X_2$, ...of $S$, a subsequence can always be extracted which tends to some limit element $X$ of $S$. Compact sets are therefore closed and bounded.