 Automorphism group of a first-order structure

The automorphism group $\mathrm{Aut}(M)$ consists of all automorphisms of $M$, with composition as its group operation.