Yet Another Single Law for Lattices
WILLIAM S. MCCUNE, Ranganathan Padmanabhan, Robert Veroff · arXiv (Cornell University) · 2003
In this note we show that the equational theory of all lattices is defined by a single absorption law. The identity of length 29 with 8 variables is shorter than previously known such equations defining lattices.