对称差

数学上，两个集合的对称差（）是只属于其中一个集合，而不属于另一个集合的元素组成的集合。例如，集合和的对称差为。

集合论中的，这个运算相当于布尔逻辑中的异或运算。

集合  和  的对称差通常記作  。对称差的符号在有些图论的书籍中則記作  。所有学生的集合和所有女性的集合的对称差为所有男性学生和所有女性非学生组成的集合。

 定义 
对称差是集合间的运算，两个集合  和  ，其对称差有几种等价的定义方式：



 性质 
对称差运算的主要性质包括：
交换律

结合律

单位元
（空集是单位元）
逆元

分配律

注意：

 布尔环 
以对称差作为加法，交集为乘法，任何集合的幂集构成一个布尔环，并可以诱导一个同构的布尔代数。

综上可得，采用对称差运算，任意集合  的幂集是阿贝尔群。由于该群中所有元素都是其自身的负元，这个群实际上是二元域上的向量空间。若有限，则以其为元素的单元素集合构成这个向量空间的基，那么向量空间的维数等于的元素个数。这种构造方法用于图论，可定义图的圈空间。

对称差满足的恒等式有：

 与逻辑和布尔代数的关系 
用邏輯學中的异或运算（），對稱差表示成：

对称差可以在任意布尔代数中定义，写作：

 参考 
 朴素集合论
 并集
 交集
 补集
 不交并

D
D
D