The isomorphism between the two operations on coefficients in <math>\mathbb{B}</math> is manifest enough that nothing remains but to see how the coefficient operation translates into an operations on sets and terms.
+
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.