Definition:Subset Product Action/Left

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

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

The (left) 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 = g \circ S$

Also see

 * Subset Product Action is Group Action