The variety generated by order algebras. (Q1771904)

Every ordered set \((A,\leq )\) can be considered as an algebra \((A,\cdot )\) in a natural way, where \(xy=x\) iff \(x\leq y\) and \(xy=y\) otherwise. The variety generated by order algebras is investigated. It is proved, among other things, that this variety is not finitely based and, although locally finite, it is not contained in any finitely generated variety. Also, the bottom of the lattice of its subvarieties is described.