A mapping reduction from A to B is a computable function f such that, for every x, x ∈ A ⇔ f (x) ∈ B.