A note on regular congruences of ordered semigroups (Q1756688)

In the paper [Semigroup Forum 61, 159--178 (2000; Zbl 0967.06012)], \textit{X.Y. Xie} proved that the set of all regular congruences with the ordering conclusion is a complete lattice. In this note, the author extends Xie's result [loc. cit.], shows that the set of all regular congruences with an ordering is actually an algebraic lattice. Afterwards, the author derives a Maltsev-type description of principal regular congruences. Lastly, an error in Example 4.7 from Xie [loc. cit.] is corrected.