Automorphism of a first-order structure
= Automorphism of a first-order structure
= Structure automorphism
{synonym}
= Automorphisms of a first-order structure
{synonym}
An automorphism is a bijection from a structure to itself that preserves every operation and relation in its language.