Boolean ring
Given a Boolean ring "R", for "x" and "y" in "R" we can define