Re:>>283-284 =は最小の同値関係. (x,y)が対角線集合の要素のときのみx=y.