Actions and expansions of ordered groupoids

We also sketch the construction of the Margolis-Meakin expansion (G,A)MM of an ordered groupoid G with generating set A. This is related to the Birget-Rhodes expansion and was first defined by Margolis and Meakin for a group G generated by A in terms of finite subgraphs of the Cayley graph Γ(G,A).