Let G be a group acting on a set X. The action is called faithful or effective if g ⋅ x = x for all x ∈ X implies that g = e G. Equivalently, the homomorphism from G to the group of bijections of X corresponding to the action is injective.