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