Automorphism of a first-order structure
ID: automorphism-of-a-first-order-structure
An automorphism is a bijection from a structure to itself that preserves every operation and relation in its language.
New to topics? Read the docs here!
New to topics? Read the docs here!