The variety generated by order algebras

Abstract

Every ordered set can be considered as an algebra in a natural way. We investigate the variety generated by order algebras. We prove, among other things, that this variety is not finitely based and, although locally finite, it is not contained in any finitely generated variety; we describe the bottom of the lattice of its subvarieties