Changes

|}

|}

The isomorphism between the two operations on coefficients in <math>\mathbb{B}</math> is manifest enough that nothing remains but to see how the operation on coefficients translates into operations on sets and terms.

It is clear that these operations are isomorphic, amounting to the same operation of type <math>\mathbb{B} \times \mathbb{B} \to \mathbb{B}.</math> All that remains is to see how this operation on coefficient values in <math>\mathbb{B}</math> induces the corresponding operations on sets and terms.

{| align="center" cellspacing="6" width="90%"

{| align="center" cellspacing="6" width="90%"