Group_Acts_on_Itself_v2

Let $\struct {G, \circ}$ be a group whose identity is $e$. Then $\struct {G, \circ}$ acts on itself by the rule $\forall g, h \in G: g * h = g \circ h$