Die Operation 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.
