帰着関数
還元関数
とも言う
多対一還元
の定義時に使用される関数
$ f
のこと
すなわち、自然数の集合
$ \alpha,\beta
に対して
$ x\in\alpha\iff f(x)\in\beta
のとき、
$ \alpha\le_m\beta
と書く
以上が定義なので、これだけでは以下のようなことはわからないものである
逆関数が存在するかどうかはわからない
単射であるかどうかはわからない
全射であるかどうかはわからない