Order automorphism

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.