\begin{definition}[Definition:Effective Transformation Group]
Let $G$ be a group whose identity is $e$.
Let $X$ be a set.
Let $\phi: G \times X \to X$ be a group action.
Then $G$ is an '''effective transformation group for $\phi$''' {{iff}} $\phi$ is faithful.
\end{definition}