Definition:Subset Product Action/Right

Definition
Let $\struct {G, \circ}$ be a group.

Let $\powerset G$ be the power set of $G$.

The (right) subset product action of $G$ is the group action $*: G \times \powerset G \to \powerset G$:
 * $\forall g \in G, S \in \powerset G: g * S = S \circ g$

Also see

 * Subset Product Action is Group Action