Полупорядок: различия между версиями

Перейти к навигации Перейти к поиску
нет описания правки
(Создана новая страница размером '''Полупорядок''' (''Semiorder'') - антирефлексивное бинарное отношение <math>P</math>, уд...)
 
Нет описания правки
Строка 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> --- произвольные (необязательно различные) элементы.


Навигация