We present a new, abstract definition for a generalized cwatset that produces notions of subcwatset and quotient cwatset that behave naturally. We use small cancellation theory to prove a result analogous to the statement that every group is isomorphic to some permutation group.
Beder, Jesse, "Foundations of Generalized Cwatsets" (2005). Mathematical Sciences Technical Reports (MSTR). 54.