>>381
恒等関係という言葉は多くの本に載っていないから
一般的な言葉ではないだろう。遠山啓の創作か?
どうでもいいが。

>任意の同値関係が成り立つ関係
この定義は分かりやすくていいね。