The Equivalence of Bounded Nondeterminacy and Continuity

Unbounded nondeterminacy is presented by the function “any natural number” such that $$\begin{array}{*{20}{c}} {wp\left( {``x: = any natural number'',0 \leqslant x} \right) = T} \hfill \\ {wp\left( {``x: = any natural number'',x \leqslant k} \right) = F for all k} \hfill \\ \end{array} $$