1
In Bourbaki, Algebra I, chapter I, ยง5 "Groups operating on a set" paragraph 1, Bourbaki defines the operation of a group $G$ on a set $E$ as a morphism $\alpha \in G\mapsto f_\alpha \in S(E)$ ($S(E)$ is the group of permutations of $E$). Then he defines a faithfull operation asking the morphisme ...