MyWikiBiz, Author Your Legacy — Monday November 25, 2024
Jump to navigationJump to search
83 bytes added
, 03:08, 2 May 2009
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%" |