Интервальный порядок обобщенный

Интервальный порядок обобщенный (Generalized interval order) - Порядок [math]\displaystyle{ P = (V,\lt ) }[/math], индуцированный орграфом [math]\displaystyle{ G = (V,E) }[/math], такой, что для всех [math]\displaystyle{ x,y \in V }[/math] имеет место импликация

[math]\displaystyle{ N(x) \cap N(y) \neq \emptyset \Rightarrow N(x) \subseteq N(y) }[/math] или [math]\displaystyle{ N(y) \subseteq N(x), }[/math]

где [math]\displaystyle{ N(v) }[/math] --- окрестность вершины [math]\displaystyle{ v }[/math].

Литература

[WG'94]