Es sei
eine endliche Menge und
eine
Permutation
auf
. Man nennt
einen Zykel der Ordnung
(oder der Länge
),
wenn es eine
-elementige Teilmenge
derart gibt, dass
auf
die Identität ist und
die Elemente aus
zyklisch vertauscht. Wenn
ist, so schreibt man einfach
-
