Yet another single law for lattices

Abstract.

In this note we show that the equational theory of all lattices is defined by the single absorption law

$(((y\bigvee x)\bigwedge x)\bigvee(((z\bigwedge(x\bigvee x))\bigvee(u\bigwedge x))\bigwedge v))\bigwedge(w\bigvee((s\bigvee x)\bigwedge(x\bigvee t))) = x.$

This identity of length 29 with 8 variables is shorter than previously known such equations defining lattices.