>>262
A△B=B△A
(A△B)△C=A△(B△C)
A△φ=A
A△A=φ
つまり可換群の演算だから
A△B=C△D
A=(C△D)△B=C△(D△B)
C△A=D△B
A△C=B△D