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

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

Литература

• Workshop. Herrsching, 1994 // Lect. Notes Comp. Sci., 1995, vol. 903.