「対応」というのは松坂本の独自用語かもしれん
写像を二項関係の特別な場合として定義したかったのだろうけど