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

'''Интервальный порядок''' (''[[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>.