Transitiv

Eine Operation (µ) heißt transitiv $\iff \mathrm{\forall }(x,{x^{\prime }}^{\prime })\in X\times X\mathrm{\exists }g\in G_M:g+x={x^{\prime }}^{\prime }$

Einfach Transitiv

Eine Operation (µ) heißt einfach transitiv $\iff \mathrm{\forall }(m,{m^{\prime }}^{\prime })\in M\times M\mathrm{\exists }!g\in G_M:g+m={m^{\prime }}^{\prime }$