Изменения

Перейти к: навигация, поиск

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

Нет изменений в размере, 19:44, 4 сентября 2022
м
rollbackEdits.php mass rollback
{{Определение
|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_1a_2)</tex>
}}
{{Определение
1632
правки

Навигация