Изоморфизмы упорядоченных множеств

Определение:

Два частично упорядоченных множества [math]A[/math] и [math]B[/math] называются изоморфными, если между ними существует взаимно однозначное соответствие, сохраняющее порядок. Более формально, [math] \exists [/math] биекция [math]f:A \rightarrow B : \forall \, a \in A , \forall \, b \in B [/math] справедливо [math] a \leqslant b \Leftrightarrow f(a)\leqslant f(b)[/math]