1: \begin{definition}[Bolzano-Weierstra\ss{} Theorem]

2: \label{def:BWT}

3: Let $X$ be a represented Hausdorff space. Then $\BWT_X:\In X^\IN\mto X$

4: is defined by

5: \[\BWT_X(x_n):=\{x\in X:x\mbox{ is a cluster point of $(x_n)$}\}\]

6: with $\dom(\BWT_X):=\{(x_n)\in X^\IN:\overline{\{x_n:n\in\IN\}}\mbox{ is compact}\}$.

7: \end{definition}