37
правок
Изменения
м
Нет описания правки
{{Определение
|definition=Два частично упорядоченных множества <tex>A</tex> и <tex>B</tex> называются '''изоморфными''', если между ними существует взаимно однозначное соответствие, сохраняющее порядок.
<br>Более формально, <tex> \exists </tex> \mbox{ биекция <tex>} f:A \rightarrow B : \forall \, a a_1,a_2 \in A , \forall \, b \in B </tex> справедливо <tex> a : a_1 \leqslant b a_2 \Leftrightarrow f(aa_1)\leqslant f(ba_1)</tex>
}}
