Boolean ring
所有布尔环"R"满足对于所有"R"中的"x"有"x" + "x" = 0；因此 -"x" = x，所有元素都是自身的加法逆元，在布尔环中使用减号没有意义。因为我们知道