Two identities for lattices
Ranganathan Padmanabhan · Proceedings of the American Mathematical Society · 1969
0. Introduction. In this paper it is shown that every equational class of lattices which can be defined by a finite number of identities can be characterized (among the class of algebras with two binary operations) by means of two identities. In particular, the class of all lattices can be characterized by means of two identities and this solves a problem raised in [11] by Ju. I. Sorkin. In the proof of the main theorem we make use of the known fact that in presence of the lattice axioms the validity of a finite set of lattice identities is equivalent to that of a single one.