That is, given such sets A and B, there is a total computable function f such that A = {x : f(x) ∈ B}.
Adică, date fiind astfel de mulțimi A și B, există o funcție total calculabilă f astfel încât A = {x : f(x) ∈ B}.