なんかもっと簡単なのあるかなーって思ったら、代入原理から成り立ちますね。dom(f) = dom(g)もcod(f) = cod(g)も。

7:25 AM

と、Haskellの人から聞きますた。