Faithful Action

A Group Action $\phi :G\to \Sigma (S)$ is faithful $⟺$ it is injective.