# Differences

This shows you the differences between two versions of the page.

de_morgan_monoids [2012/06/16 04:16] jipsen |
de_morgan_monoids [2012/06/16 04:19] (current) jipsen |
||
---|---|---|---|

Line 16: | Line 16: | ||

Remark: It follows that $x''=x$ and that $(x\vee y)'=x'\wedge y'$. | Remark: It follows that $x''=x$ and that $(x\vee y)'=x'\wedge y'$. | ||

+ | |||

+ | Note that a De Morgan monoid is the same thing as a commutative distributive involutive residuated lattice. | ||

==Morphisms== | ==Morphisms== |

Trace: