逆写像が存在しない場合

ここは適当に書いているので、厳密じゃないかも知れない

全射だが単射でないような関数は逆写像を定義できないことがある

つまり、多対一の写像の時

例えばf(x)= x *0とか