Definition:Order Automorphism

Definition

Let $\struct {S, \preceq}$ be an ordered set.

Let $\phi: S \to S$ be an order isomorphism from $\struct {S, \preceq}$ to $\struct {S, \preceq} $.

Then $\phi$ is an (order) automorphism.

Sources

• 1967: Garrett Birkhoff: Lattice Theory (3rd ed.): $\S \text I.2$