Definition:Ordered Structure Automorphism

Definition
Let $\left({S, \circ, \preceq}\right)$ be an ordered structures.

Let $\phi: S \to S$ be an ordered structure isomorphism from $S$ to itself.

Then $\phi$ is an ordered structure automorphism.

Also see

 * Definition:Automorphism (Abstract Algebra)