Semiorder: различия между версиями
Перейти к навигации
Перейти к поиску
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. |
Текущая версия от 13:57, 23 июня 2011
Semiorder --- полупорядок.
The relation [math]\displaystyle{ P }[/math] is a semiorder if the following conditions hold:
(1) [math]\displaystyle{ P }[/math] is irreflexive;
(2) if [math]\displaystyle{ (x,y) \in P }[/math] and [math]\displaystyle{ (z,w) \in P }[/math], then [math]\displaystyle{ (x,w) \in P }[/math] or [math]\displaystyle{ (z,y) \in P }[/math];
(3) if [math]\displaystyle{ (x,y) \in P }[/math] and [math]\displaystyle{ (y,z) \in P }[/math], then [math]\displaystyle{ (x,w) \in P }[/math] or [math]\displaystyle{ (w,z) \in P }[/math].
semiorder is an interesting subclass of interval orders.