est l'ensemble des permutations de .

Comme est une permutation de , .