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.