Транзитивный орграф - орграф G=(X, R), у которого из существования дуг (хi, xj) и (xj, xk) следует существование дуги (xi, xk).