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

2: Let $X$ be a computable metric space with Cauchy representation $\delta_X$.

3: By $\WBWT_X:\In X^\IN\mto X'$ we denote the same problem as $\BWT_X$, 

4: but with the jump $\delta_X'$ of the Cauchy representation as representation on the output side.

5: \end{definition}

6: