对称差

属于两个给定集合之一但不是两者都属于的元素的集合。 因此，它是 并集 的 补集 相对于 和 相对于 ，并且对应于布尔逻辑中的 异或 运算。 对称差可以在 Wolfram 语言 中实现为

  SymmetricDifference[a_, b_] :=
    Union[Complement[a, b], Complement[b, a]]

集合 和 的对称差有多种写法，如 , , (Borowski 和 Borwein 1991) 或 (Harris 和 Stocker 1998, p. 3)。 除了第一个符号外，所有其他符号都应该被弃用，因为其他每个符号在数学的其他领域都有常见的含义。

例如，对于 和 , , 因为 2、3 和 5 各自在一个集合中，但不是在两个集合中。