Transitiv

Eine Operation (µ) heißt transitiv $\Leftrightarrow \forall (x, x^{'}) \in X \times X \exists g \in G_{M} : g + x = x^{'}$

Einfach Transitiv

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