The set of vertices of this graph is the set of elements of G and two vertices
x, y are adjacent if and only if there exists s ∈ S such that y = sx. If S = S
−1
the graph is
undirected and if we choose for S a multi-set (repeating some generators) we get a CAYLEY
multi-graph.