离散数学二元关系部分

　　设 R 是 A 上是传递的,即若 xRy 且 yRz,则有 xRz.现若有 xR²y 且 yR²z,则存在 u,v ∈ A,使 xRu,uRy 且 yRv,vRz,进而有xRy 且 yRz,即 xR²z,即 R² 也是集合 A 上的传递关系.