\begin{definition}[Definition:Ordered Structure Automorphism]
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.
\end{definition}