Изменения

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

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

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

Навигация