Es liege eine Gruppenoperation einer Gruppe ${\displaystyle {}G}$ auf einer Menge ${\displaystyle {}M}$ vor. Die Operation heißt transitiv, wenn es zu je zwei Elementen ${\displaystyle {}x,y\in M}$ ein ${\displaystyle {}g\in G}$ mit ${\displaystyle {}gx=y}$ gibt.