Преобразование, обратное данному, получается так: если данное преобразование переводит $ M$ в $ M'$, то обратным преобразованием называется преобразование, переводящее $ M'$ в $ M$.
Например, пусть на множестве из 3-х элементов задано преобразование $ A$:
$\Large x_1 \rightarrow x_3$
$\Large x_2 \rightarrow x_1$
$\Large x_3 \rightarrow x_2$
Тогда обратное преобразование (назовём его $ A'$) ,будет задано следующим образом:
$\Large x_3 \rightarrow x_1$
$\Large x_1 \rightarrow x_2$
