In the mathematical area of order theory, given a partially ordered set (S, ≤) an order automorphism of (S, ≤) is an order isomorphism from (S, ≤) to itself.
The set of order automorphisms of a set forms a group.
