Relation equations in residuated lattices (Q582308): Difference between revisions

Let L be a complete lattice endowed with an order-preserving right residuated multiplication \(\cdot\); in particular, if this multiplication is the lattice-theoretical meet, then L is a Brouwerian lattice. Let further X and Y be two nonempty sets. The set \(R(L)=\{A|\) A: \(X\times Y\to L\}\) of L-relations from X to Y is equipped with the pointwise order induced by the order of L and with the following multiplication: if \(A,A'\in R(L)\) then \(A\cdot A'\) is defined by \((A\cdot A')(x,y)=\bigvee_{z\in L}A(x,z)\cdot A'(z,y)\). The authors point out that all results known in the literature about the relational equation \(A\cdot X=B\) are in fact valid within the general framework defined above.