分划
A real number is computable if and only if there is a computable Dedekind cut "D" corresponding to it. The function "D" is unique for each computable number (although of course two different programs may provide the same function).