Es sei G {\displaystyle {}G} eine Gruppe und M {\displaystyle {}M} eine Menge. Eine Gruppenoperation von G {\displaystyle {}G} auf M {\displaystyle {}M} heißt treu, wenn aus g x = x {\displaystyle {}gx=x} für alle x ∈ M {\displaystyle {}x\in M} folgt, dass g = e {\displaystyle {}g=e} ist.
