Definition:Faithful Group Action/Definition 2

Definition
Let $G$ be a group with identity $e$.

Let $X$ be a set.

Let $\phi: G \times X \to X$ be a group action.

$\phi$ is faithful or effective its permutation representation is injective.