4189
правок
Glk (обсуждение | вклад) (Новая страница: «'''Semiorder''' --- полупорядок. The relation <math>P</math> is a ''' semiorder''' if the following conditions hold: (1) <math>P</math> is irreflexive;…») |
Glk (обсуждение | вклад) Нет описания правки |
||
Строка 10: | Строка 10: | ||
(3) if <math>(x,y) \in P</math> and <math>(y,z) \in P</math>, then <math>(x,w) \in P</math> or <math>(w,z) | (3) if <math>(x,y) \in P</math> and <math>(y,z) \in P</math>, then <math>(x,w) \in P</math> or <math>(w,z) | ||
\in P</math>. | \in P</math>. | ||
''' semiorder''' is an interesting subclass of interval orders. |
правок