Интервальный порядок: различия между версиями

'''Интервальный порядок''' (''[[Interval order]]'') - частичный порядок <math>P(G)</math>, индуцированный [[орграф|орграфом]] <math>G</math>, который допускает интервальное представление <math>\{I_{x}\}_{x \in V}</math> компактными интервалами на вещественной прямой такое, что для всех <math>x,y \in V</math>

<math>x < y\mbox{ в }P(G) \Leftrightarrow r(I_{x}) < l(I_{y}),</math>

где <math>r(I)</math>, соответственно <math>l(I)</math>, обозначает правый, соответственно левый, конец

[[интервал|интервала]] <math>I</math>.