Es sei ${\displaystyle {}M}$ eine Menge und sei ${\displaystyle {}G=S(M)}$ die zugehörige Permutationsgruppe. Eine Untergruppe ${\displaystyle {}H\subseteq G}$ heißt transitiv, wenn es zu je zwei Elementen ${\displaystyle {}x,y\in M}$ ein ${\displaystyle {}\sigma \in H}$ mit ${\displaystyle {}\sigma (x)=y}$ gibt.