Automorphism group of a first-order structure
= Automorphism group of a first-order structure
{title2=$\operatorname{Aut}(M)$}
The automorphism group $\operatorname{Aut}(M)$ consists of all <automorphism of a first-order structure>[automorphisms] of $M$, with composition as its group operation.