定理27(证明(2) 秦(2)XRy→区 Fly; 证明:(2)只需证明Ⅳ和R (z,z∈R∧Ry→ ZRXAXRY zRy→z∈ⅣR.∴Reyg 已)同理可证.z 《集合论与图论》第8讲《集合论与图论》第8讲 9 定理27(证明(2)) (2) xRy ⇒ [x]R=[y]R ; 证明: (2) 只需证明[x]R⊆[y]R和[x]R⊇[y]R. (⊆) ∀z, z∈[x]R∧xRy ⇒ zRx∧xRy ⇒ zRy ⇒ z∈[y]R . ∴ [x]R⊆[y]R. (⊇) 同理可证. x y z