Codex Wiki OurBigBook logoOurBigBook.comSite Source code

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.

Ancestors (7)

  1. First-order structure
  2. First-order logic
  3. Mathematical logic
  4. Foundations of mathematics
  5. Area of mathematics
  6. Mathematics
  7. Home