>>499
ナンセンス


きみがおかしな証明といっているその証明の対象である命題は、多分こういうことなのだろうと思う。

集合Aから集合Bへの全単射ｆが存在するとき、逆像対応　f^(-1)；B→2^A は　f　の逆写像を定義していることを示せ。
ここに　fの逆像対応f^(-1)とはb∈Bに対してf^(-1)(b)={a∈A|f(a)=b}で定まる対応である。