>>274
おいおい同値関係以上の何かを
含む｢恒等関係｣などという関係は無いぞ。
もし代数的な同値関係をそう呼んでいるとして
"="をそれ専用の記号と考えているとしたらそれは誤りだ。