>>589は同値関係を理解していないと思われ

でも、>>589は情報系出身なんだから、プログラミングっぽい記述で
書けば理解するんじゃないの?そういう場面あるでしょ