On multiple transitivity for products of sets of permutations

The study of multiple transitivity of products of sets of permutations on a set $\Omega$ is reduced to the study of products of matrices of small dimensions. For effective application of this approach we need some information about properties of equivalence relations defined on the Cartesian degree of the set $\Omega$. These properties are studied for relations induced by various groups.