布尔环
并且因为&lt;"R",+&gt;是阿贝尔群，我们可以从这个等式的两端减去"x" + "x"，这给出了"x" + "x" = 0。类似的证明证实了布尔环是可交换的：