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