An order isomorphism is a bijection between partially
ordered sets which preserves and reflects the order. Thus
in
iff
in
. Two partially ordered
sets are order isomorphic when an order isomorphism
exists between them (Cintioli 2026).
The notion determines the equivalence of partially ordered sets used in poset reconstruction.