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

2: Let $X$ be a computable metric space and let

3: \[\BWT_X:\In X^\IN\mto X,(x_i)_i\mapsto\{x:x\mbox{ is a cluster point of }(x_i)_i\}\]

4: where $\dom(\BWT_X)$ is the set of all sequences $(x_i)_i$  in $X$ such that $\{x_i:i\in\IN\}$ has a compact closure.

5: \end{definition}

6: