Изоморфизмы упорядоченных множеств — различия между версиями
Notantony (обсуждение | вклад) (в процессе) |
Notantony (обсуждение | вклад) м |
||
| Строка 1: | Строка 1: | ||
{{Определение | {{Определение | ||
|definition=Два частично упорядоченных множества <tex>A</tex> и <tex>B</tex> называются '''изоморфными''', если между ними существует взаимно однозначное соответствие, сохраняющее порядок. | |definition=Два частично упорядоченных множества <tex>A</tex> и <tex>B</tex> называются '''изоморфными''', если между ними существует взаимно однозначное соответствие, сохраняющее порядок. | ||
| − | <br>Более формально, <tex> \exists | + | <br>Более формально, <tex> \exists \mbox{ биекция } 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> |
}} | }} | ||
Версия 15:59, 28 декабря 2016
| Определение: |
| Два частично упорядоченных множества и называются изоморфными, если между ними существует взаимно однозначное соответствие, сохраняющее порядок.
Более формально, |
