Effective action

A group action on a set $X$ is called effective (or faithful) if for an element $g\in G$, $g\cdot x=x\forall x\in X⟹g=e_G$

In other words, there is no trivial action other than the identity element.

Note, this is not the same as a free group action, which is a stronger condition.