Main Page | See live article | Alphabetical index

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 of a set forms a group.