Transitiv

Eine Operation (µ) heißt transitiv $\Leftrightarrow \forall \left(x,{x}'\right)\in X\times X\quad \exists g\in {{G}_{M}}:g+x={x}'$

Einfach Transitiv

Eine Operation (µ) heißt einfach transitiv $\Leftrightarrow \forall \left(m,{m}'\right)\in M\times M\quad \exists !g\in {{G}_{M}}:g+m={m}'$