定理27(证明(3) (3)-XRy→区R^MR=0; 证明:(3)(反证)假设彐Z,z∈凶yla,则 Z∈∩yR→2 RXAZRy→ XRZAZRy xRy,这与XRy矛盾!:区×g~= 《集合论与图论》第8讲《集合论与图论》第8讲 10 定理27(证明(3)) (3) ¬xRy ⇒ [x]R∩[y]R=∅ ; 证明: (3) (反证) 假设∃z, z∈[x]R∩[y]R, 则 z∈[x]R∩[y]R ⇒ zRx∧zRy ⇒ xRz∧zRy ⇒ xRy, 这与¬xRy矛盾! ∴ [x]R∩[y]R=∅. x y z