Индуктивный граф

Индуктивный граф (Inductive graph) - орграф, в котором каждый путь [math]\displaystyle{ \mu = [x_{1}, \, x_{2}, \, \ldots ] }[/math] допускает мажоранту, т.е. если для каждого пути [math]\displaystyle{ \mu }[/math] существует такая вершина [math]\displaystyle{ z }[/math], что [math]\displaystyle{ z \geq x_{i}, \quad x_{i} \in \mu }[/math].