定義
X を一般Boole代数(過去スレ021の373)とする。
a, b ∈ X のとき aΔb = (a＼b)∨(b＼a) と書き a と b の対称差(symmetric difference)と言う。
aΔb は a + b とも書く場合がある。