A note on the extension principle (Q1583965)

Let \(\langle L,\otimes,\to\rangle\) be a complete residuated lattice, i.e., \(L\) is complete, \(\langle L,\otimes\rangle\) is a commutative monoid (with the unit being the top element of \(L\)), and \(\otimes\) and \(\to\) satisfy the property: \(x\leq y\to z\) iff \(x\otimes y\leq z\). Given a map \(f: X\to Y\) one has a powerset operator \(f^\rightarrow: L^X\to L^Y\) defined by \(f^\rightarrow(a)(y)= \bigvee\{a(x): f(x)= y\}\) for every \(a\in L^X\) and \(y\in Y\). A map \(E_X= E: X\times X\to L\) is called a similarity relation if \(E\) is symmetric, \(E(x,x)= 1\), and \(E(x,y)\otimes E(y,z)\leq E(x,z)\) for all \(x,y,z\in X\). The author shows that \(E_X(a,b)\leq E_Y(f^\rightarrow(a), f^\rightarrow(b))\) for all \(a,b\in L^X\). A similar result arising from a map \(f: X_1\times\cdots\times X_n\to Y\) is also given.