В качестве единииы (как правой, так и левой) в группе преобразований служит так называемое тождественное преобразование, оставляющее каждый элемент множества $\Large M$ на месте.
Преобразование, обратное данному, получается так: если данное преобразование переводит $\Large M$ в $\Large M'$, то обратным преобразованием называется преобразование, переводящее $\Large M'$ в $\Large M$.