Representations of ordered doppelsemigroups by binary relations

Yurii Zhuchok, Jörg Koppitz


We extend the study of doppelsemigroups and introduce the notion of an ordered doppelsemigroup. We construct the ordered doppelsemigroup of binary relations on an arbitrary set and prove that every ordered doppelsemigroup is isomorphic to some ordered doppelsemigroup of binary relations. In particular, we obtain an analogue of Cayley's theorem for semigroups in the class of doppelsemigroups. We also describe the representations of ordered doppelsemigroups by binary transitive relations.


doppelsemigroup, ordered doppelsemigroup, semigroup, binary relation, representation

Full Text:



  • There are currently no refbacks.