Title: Ordered Monoids: Languages and Relations,
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.