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.