Differences
This shows you the differences between two versions of the page.
integral_residuated_lattices [2016/10/30 12:18] jipsen |
integral_residuated_lattices [2016/10/30 12:19] (current) jipsen |
||
---|---|---|---|
Line 58: | Line 58: | ||
====Subclasses==== | ====Subclasses==== | ||
- | [[commutative integral residuated lattices]] | + | [[commutative integral residuated lattices]] |
- | [[bounded integral residuated lattices]] | + | [[bounded integral residuated lattices]] |
====Superclasses==== | ====Superclasses==== | ||
- | [[residuated lattices]] | + | [[residuated lattices]] |
- | [[integral lattice-ordered monoids]] | + | [[integral lattice-ordered monoids]] |
Trace: