数学において、対称差（たいしょうさ、）とは、二つの集合に対し、どちらか一方の集合には含まれるが両方には含まれないような元を集めた集合のことをいう。集合 "P" と "Q" との対称差は "P" Δ "Q" あるいは formula_1 という記号がよく使われる。対称差に対応する論理演算は排他的論理和である。ブール代数の理論にもとづき環和（かんわ、）formula_2 という用語も用いられる。集合"P" と"Q"との対称差は、和集合 formula_3、共通部分 formula_4、差集合 formula_5 などの操作を用いて次のように表すことができる。対称差は集合の間に空集合を単位とするような加法的演算をさだめている。この演算は共通部分の操作に対して分配則をみたす。これらのことから、対称差および共通部分の操作によって集合の間に環の構造が入ることがわかる。

出典:wikipedia