传递性证明 证明模式证明R在A上传递 任取<x,少>,yz x>∈R∧]孙>∈R→ ●●●·●自 →<,z∈R 前提 推理过程 结论 例7证明若R°RcR,则R在A上传递 证任取<x少>,<z xy>∈R∧∈R→≮,>∈R°R→<,>∈R 因此R在A上是传递的 ● 1414 传递性证明 证明模式 证明R在A上传递 任取<x, y>，<y, z> <x,y>R<y, z>R …..……….  <x,z>R 前提 推理过程 结论 例7 证明若 RRR , 则R在A上传递. 证 任取<x,y>，<y, z> <x,y>R <y,z>R  <x,z>RR  <x,z>R 因此 R 在 A 上是传递的