# Question about a property of lattice-morphism

I would like to know if there is a name for the class of commutative (i.e., $\phi(x,y)=\phi(y,x)$) lattice-morphisms $\phi : L_1\times L_{1} \rightarrow L_2$ with the following property:

$\phi(x \sqcap y, x \sqcup y) = \phi(x, y)$.

Note that when $L_{1}$ is linearly ordered, the equality is automatically satisfied.

Are objects of this kind studied somewhere?

Am I correct to assume that $L_1\times L_1$ is endowed with the lexicographical order? – Willie Wong Jan 8 '13 at 10:05
No, it's the ordinary product on Lattices: $(a,b)\leq (c,d)$ iff $a\leq c$ AND $b\leq d$ – user55551 Jan 8 '13 at 11:19
So if $L_1$ is actually a linear order, these are the functions that are symmetric about the diagonal? – Brian M. Scott Jan 8 '13 at 14:27