Eine Operation (µ) heißt transitiv ⇔ ∀ ( x , x ′ ) ∈ X × X ∃ g ∈ G M : g + x = x ′ {\displaystyle \Leftrightarrow \forall \left(x,{x}'\right)\in X\times X\quad \exists g\in {{G}_{M}}:g+x={x}'}
Eine Operation (µ) heißt einfach transitiv ⇔ ∀ ( m , m ′ ) ∈ M × M ∃ ! g ∈ G M : g + m = m ′ {\displaystyle \Leftrightarrow \forall \left(m,{m}'\right)\in M\times M\quad \exists !g\in {{G}_{M}}:g+m={m}'}
