rmula_3有几种等价的定义方式：
性质.对称差运算的主要性质包括：
布尔环.以对称差作为加法，交集为乘法，任何集合formula_21的幂集formula_22构成一个布尔环，并可以诱导一个同构的布尔代数。综上可得，采用对称差运算，任意集合formula_21的幂集是阿贝尔群。由于该群中所有元素都是其自身的负元，这个群实际上是二元域formula_24上的向量空间。若formula_21有限，则以其为元素的单元素集合构成这个向量空间的基，那么向量空