The three relations

The theorem applies to the stated definite-order channel networks. It is not an assertion that every process matrix possesses such a dependency graph; the process-matrix framework does not generally assume a predefined global causal order OCB.