Definition 3.3
If

is generated by a set

, then the
Cayley Color Diagram

is the colored digraph on the vertex set

with edges
pointing from

to

labeled (colored) by

for all

and

. Automorphisms of such a colored digraph preserve the colors
by definition.