37
правок
Изменения
Нет описания правки
{{Определение
|definition=Два [[Отношение порядка|частично упорядоченных]] множества <tex>A</tex> и <tex>B</tex> называются '''изоморфными''' (англ. ''isomorphic''), если между ними существует взаимно однозначное соответствие, сохраняющее порядок. Само соответствие называется '''изоморфизмомизоморфизм''' (англ. ''isomorphism'')— взаимно однозначное соответствие, сохраняющее порядок.
<br>Более формально, <tex> \exists </tex> биекция <tex> f:A \rightarrow B : \forall \, a_1,a_2 \in A : a_1 \leqslant a_2 \Leftrightarrow f(a_1)\leqslant f(a_1)</tex>
}}
== См. также ==
* [[Отношение порядка|Отношение порядка]]
* [[wikipedia:ru:Линейно_упорядоченное_множество| Wikipedia {{---}} — Линейно упорядоченное множество]]
== Источники информации ==
*[http://www.mccme.ru/free-books/shen/shen-logic-part1-2.pdf Н. К. Верещагин, А. Шень. Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств. 4-е изд., доп., М: МЦНМО, 2012]
* [[wikipedia:ru:Частично_упорядоченные_множества| Wikipedia {{---}} — Частично упорядоченные множества]]
==Примeчания==
