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

2: Let $X$ be a computable metric space and let $\SBWT_X:\In X^\IN\mto\IN^\IN$ be defined by

3: \[\SBWT_X((x_i)_i):=\{s\in\IN^\IN:\mbox{$(x_{s(n)})_n$ converges and $s$ is strictly monotone}\}\]

4: where $\dom(\SBWT_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: