生组成的集合。
定义.对称差是集合间的运算，两个集合formula_1和formula_2，其对称差formula_3有几种等价的定义方式：
性质.对称差运算的主要性质包括：
布尔环.以对称差作为加法，交集为乘法，任何集合formula_21的幂集formula_22构成一个布尔环，并可以诱导一个同构的布尔代数。综上可得，采用对称差运算，任意集合formula_21的幂集是阿贝尔群。由于该群中所有元素都是其自身的负元，这个群实