西安电子科技大学$3.1.3集合间的关系软件学院家家茶两个集合A和B相等,即【集合相等的外延性公理】A=B,当且仅当它们有相同的成员。A-B(Vx)(XEA→XEB)H(VX)(XEAXEB)AVX)(XEB-XEA)(ACB)A(BCA)【定理】两个集合A和B相等,即A=B,当且仅当ACBHBCA西安电子科技大学 §3.1.3 集合间的关系 软件学院 【集合相等的外延性公理】两个集合A和B相等,即 A=B,当且仅当它们有相同的成员。 ⊆⇔ ∧ ⊆ ABBA )()( 【定理】两个集合A和B相等,即A=B,当且仅当 A⊆B且B⊆A