Given a partially ordered set (S, <=) an order automorphism of (S, <=) is an order isomorphism from (S, <=) to itself. The set of order automorphisms forms a group.
The set of order automorphisms forms a group.