Транзитивный орграф

Транзитивный орграф (Transitive directed graph) - орграф, у которого из существования дуг [math]\displaystyle{ (u,v) }[/math] и [math]\displaystyle{ (v,w) }[/math] вытекает существование дуги [math]\displaystyle{ (u,w) }[/math].

Литература

[Лекции]