Ordered Monoids: Languages and Relations
arXiv:1704.01391
Abstract
We give a finite axiomatization for the variety generated by relational, integral ordered monoids. As a corollary we get a finite axiomatization for the language interpretation as well.