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