这个向量空间的基，那么向量空间的维数等于formula_21的元素个数。这种构造方法用于图论，可定义图的圈空间。对称差满足的恒等式有：
与逻辑和布尔代数的关系.或者用异或运算（formula_4）表示：对称差可以在任意布尔代数中定义，写作：