Remark 2.2 The essential difference between the approach to Ehresmann semigroups
described here and the one described in [1]} is that
the latter requires orders whereas here we use only actions.
Remark REF  provides some insight into the relationship between the two approaches.

