Рад был бы получить разъяснение в следующем вопросе.
Есть группа

, и соответственно

- множество всех автоморфизмов группы

.
У меня никак не получается понять, почему

образует именно ПОДГРУППУ группы

всех биективных отображений

. Почему не

, раз обе группы - множества всех биекций

?