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.