Множество всех биективных отображений некоторого множества элементов на себя образует группу