Изоморфизмы упорядоченных множеств
| Определение: |
| Два частично упорядоченных множества и называются изоморфными, если между ними существует взаимно однозначное соответствие, сохраняющее порядок.
Более формально, биекция справедливо |
| Определение: |
| Два частично упорядоченных множества [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] |
