ordered set to itself is called an order automorphism.

When an additional algebraic structure is imposed on the posets and , a function from to must satisfy additional properties to be regarded as an isomorphism. For example, given two partially ordered groups (po-groups) and , an isomorphism of po-groups from to is an order isomorphism that is also a group isomorphism, not merely a bijection