It is known, that in a destributive lattice, there is at most one solution for $$ a\wedge x = y \\a\vee x =z$$ for fixed $x,y,z$.
is the converse true?
namely- if there is at most one solution for any equation of this form, is the lattice distributive?