逆対応というのがいまいちピンとこないのですが
AからBへの対応がf()だったとして、
それの逆関数とおもってよいのでしょうか