Semigroup actions on ordered groupoids

In this paper we prove that if S is a commutative semigroup acting on an ordered groupoid G, then there exists a commutative semigroup S̃ acting on the ordered groupoid G̃:=(G × S)/ρ̄ in such a way that G is embedded in G̃. Moreover, we prove that if a commutative semigroup S acts on an ordered groupoid G, and a commutative semigroup S̄ acts on an ordered groupoid Ḡ in such a way that G is embedded in S̄, then the ordered groupoid G̃ can be also embedded in Ḡ. We denote by ρ̄ the equivalence relation on G × S which is the intersection of the quasi-order ρ (on G × S) and its inverse ρ −1.