Bahn ist definiert als \(Gm\) = {\(gm | g\in G\)} für jedes m \(\in\) M.
Transitiv ist eine Gruppenoperation wenn es für jedes \(m, m' \in M\) ein \(g \in G\) gibt mit \(gm = m'\)

Frage siehe Titel.
Wie sieht das eigentlich aus, wenn es zwei Bahnen gibt?