Rigid first-order structure
ID: rigid-first-order-structure
A first-order structure is rigid when its identity map is its only automorphism. Every finite linear order is rigid, whereas is nonrigid because every translation is an order automorphism.
New to topics? Read the docs here!