Definition f:S→Ts.t.∀x,y∈S,x≤Sy⇔f(x)≤Tf(y) where (S,≤S),(T,≤T) are Partially Ordered Set and f is a Bijective function Facts Order isomorphism is a special case of an Isomomorphism