First-order axiomatization of an automorphism
= First-order axiomatization of an automorphism
After adjoining a unary function symbol $f$, injectivity, surjectivity, preservation of each operation, and preservation in both directions of each relation form an axiom scheme whose models interpret $f$ as an automorphism.