(1)传递:对任意a,b),(b,C)ER'=RUR2UR3U (a,c)∈R 2)RcR∪R2UR3U∴=R (3)假设有A上的二元关系R",R"传递且RcR", (目标是R'cR")(1)传递：对任意(a,b),(b,c)R'=R∪R2∪R3∪ (a,c)R', (2)RR∪R2∪R3∪=R'， (3)假设有A上的二元关系R''，R''传递且RR''， (目标是R'R'')