定理6(讨论(3) (3)R1(R2R3)c(R10R)(R1oR3) 反例(说明=不成立) 设R={b>,<c.d R2{ab,R3-{a,c}0 刂R(R2∩R3)=R10O=⑦, R,oR2=(a, d>), R,oR3=a, d>1, (R1R2)/(R10R)={ad)}.# 《集合论与图论》第6讲《集合论与图论》第6讲 5 定理6(讨论(3)) (3) R1○(R2∩R3) ⊆ (R1○R2)∩(R1○R3) 反例(说明=不成立): 设 R1={<b,d>,<c,d>}, R2={<a,b>}, R3={<a,c>}. 则R1○(R2∩R3) = R1○∅ = ∅, R1○R2={<a,d>}, R1○R3={<a,d>}, (R1○R2)∩(R1○R3)={<a,d>}. # a b c d