def:faithful-group-action, orbits-transitively

also a brief discussion of the equivalence classes imposed on a $G$-set.