is correlated with

,

with itself, and

with

. It is obvious that the combination of two permutations is again a permutation, i.e. the permutations of a given class form what is called a "group."