An embedding of an ordered groupoid into an le-groupoid (Q862387)

An ordered groupoid \(S=(S;\cdot ,\leq )\) is called a lattice-ordered groupoid if \((S;\leq )\) is a lattice and \(S\) satisfies the conditions \(a(b\vee c)=ab\vee ac\) and \((b\vee c)a=ba\vee ca\) for all \(a,b,c\in S\). The authors show that every ordered groupoid (semigroup) can be embedded into a lattice-ordered groupoid (semigroup) which is, as a lattice, complete and distributive.