The action is called free (or semiregular or fixed-point free) if the statement that g ⋅ x = x for some x ∈ X already implies that g = e G. In other words, no non-trivial element of G fixes a point of X. This is a much stronger property than faithfulness.