Permutation Representation defines Group Action

Theorem
Let $X$ be a set, and let $\Gamma \left({X}\right)$ be the group of permutations of $X$.

Let $G$ be a group whose identity is $e$.

Let $\phi: G \to \Gamma \left({X}\right)$ be a homomorphism from $G$ to the group of permutations on $X$.

Then $\phi$ is a group action.

Proof
Let $g, h \in G$.

For $g \in G$, define the mapping $\phi_g: X \to X$ as:
 * $\phi_g \left({x}\right) = \phi \left({g, x}\right)$