>>648
集合Aと集合Bの直積上の決定的な二項関係として関数f,g
を定義するという流儀ならおkということでしょうか？
それなら、この定義(仮定？)を使う予定の問題の上でならなんとか使えそうです
全域関数であるという仮定は使ってもよいようなので