屬於兩個給定集合之一但不是兩者都屬於的元素的集合。 因此,它是 並集 的 補集 相對於
和
相對於
,並且對應於布林邏輯中的 異或 運算。 對稱差可以在 Wolfram 語言 中實現為
SymmetricDifference[a_, b_] :=
Union[Complement[a, b], Complement[b, a]]
集合 和
的對稱差有多種寫法,如
,
,
(Borowski 和 Borwein 1991) 或
(Harris 和 Stocker 1998, p. 3)。 除了第一個符號外,所有其他符號都應該被棄用,因為其他每個符號在數學的其他領域都有常見的含義。
例如,對於 和
,
, 因為 2、3 和 5 各自在一個集合中,但不是在兩個集合中。