Boolean ring
In mathematics, a Boolean ring is a ring R such that x2 = x for all x in R. These rings arise from (and give rise to) Boolean algebras, as is explained in that article.
Every Boolean ring R satisfies x + x = 0 for all x in R, because we know
and we can subtract 1 + x from both sides of this equation. A similar proof shows that every Boolean ring is commutative:
and this yields xy + yx = 0, which means xy = -yx = yx (using the first property above).