布尔环
and since ("R",⊕) is an abelian group, we can subtract "x" ⊕ "x" from both sides of this equation, which gives "x" ⊕ "x" = 0. A similar proof shows that every Boolean ring is commutative: