4194
правки
Полупорядок: различия между версиями
Материал из WEGA
нет описания правки
Glk (обсуждение | вклад) (Создана новая страница размером '''Полупорядок''' (''Semiorder'') - антирефлексивное бинарное отношение <math>P</math>, уд...) |
KEV (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
'''Полупорядок''' (''Semiorder'') - | '''Полупорядок''' (''[[Semiorder]]'') - | ||
антирефлексивное бинарное отношение <math>P</math>, удовлетворяющее условиям: | [[антирефлексивное отношение|антирефлексивное]] [[бинарное отношение]] <math>P</math>, удовлетворяющее условиям: | ||
(1) <math>aPb, \, cPd</math> влекут за собой <math>aPd</math> или <math>cPb</math>; | (1) <math>aPb, \, cPd</math> влекут за собой <math>aPd</math> или <math>cPb</math>; | ||
(2) <math>aPb</math> и <math>bPc</math> влекут за собой <math>aPd</math> или <math>dPc</math>, | (2) <math>aPb</math> и <math>bPc</math> влекут за собой <math>aPd</math> или <math>dPc</math>, | ||
где <math>a,b,c,d \in V</math> --- произвольные (необязательно различные) элементы. | где <math>a,b,c,d \in V</math> --- произвольные (необязательно различные) элементы. | ||
