Changes

MyWikiBiz, Author Your Legacy — Monday November 25, 2024
Jump to navigationJump to search
Line 5,524: Line 5,524:  
|}
 
|}
   −
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%"
12,080

edits

Navigation menu