定義
X をBoole代数(>>336)とする。
a, b ∈ X のとき aΔb = (a＼b)∨(b＼a) と書き a と b の対称差(symmetric difference)と言う。
aΔb は a + b とも書く場合がある。