還元関数とも言う

多対一還元の定義時に使用される関数fのこと

すなわち、自然数の集合\alpha,\betaに対してx\in\alpha\iff f(x)\in\betaのとき、\alpha\le_m\betaと書く

以上が定義なので、これだけでは以下のようなことはわからないものである

逆関数が存在するかどうかはわからない

単射であるかどうかはわからない

全射であるかどうかはわからない