Este conjunto de automorfismos junto con la operación de composición de funciones forma un grupo "G", denotado habitualmente Aut("E"/"F") o formula_1.