Аноним

Semiorder: различия между версиями

Материал из WEGA
нет описания правки
(Новая страница: «'''Semiorder''' --- полупорядок. The relation <math>P</math> is a ''' semiorder''' if the following conditions hold: (1) <math>P</math> is irreflexive;…»)
 
Нет описания правки
 
Строка 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.
4189

правок