皆さん返信ありがとうございます
ご指摘の通り逆関数を定義したいのですが無理なのですか・・・
>>340
定義したい関数としては Tes(t->s) を受け取って Tes(s->t)を返したいのです。
このtとsのマッチのさせ方（もしかしてひどい勘違いをしていてできないのかもしれませんが）がわからない状態です。