Ist n eine natürliche Zahl, so setzt man n! = 1×2×3×...×n,
(n! wird "n Fakultät" ausgesprochen),

also zum Beispiel:  

4! = 1×2×3×4 = 24,

und

5! = 1×2×3×4×5 = 120.

Hauptsatz. Ist f eine Permutation einer Menge mit n Elementen,
so gibt es eine natürliche Zahl t ≤ n! mit ft = I.

Man nennt das kleinste derartige t die Ordnung ord(f) von f.

Umformulierung:

Jede Permutation f einer endlichen Menge S
hat eine Ordnung ord(f).
Besteht S aus n Elementen, so ist ord(f) ≤ n!

Der Beweis ist nicht schwer, er soll hier skizziert werden.