Permutationsgruppe G ⊆ S_n, die nur eine einzige G-Bahn besitzt, wobei S_n die symmetrische Gruppe vom Grad n ist.

Ist G eine transitive Permutationsgruppe, so gibt es für jedes Paar {i, j} ⊆ {1, 2, …, n} ein g ∈ G mit j = g(i).