图传递的条件是什么

请问图传递的条件是什么。
用邻接矩阵存储，对每个元素遍历一遍，并且还增加一个内循环，对每个节点遍历一遍，发现不符合条件的就返回。条件是z=x&&g（y,z)&&!g(x,z),其中g(x,y)代表每个元素。

不理解，也找不到有关的概念解释，请指点一下。