西安电子科技大学集合间的关系$3.1.3软件学院教家教家家设A，B是任意的两个集合，若集合A的每个元子集素都是集合B的元素，则称A为B的子集或称“B包含A”，记为AB或B2A。ACB台(Vx)(xEA→xEB)如果集合A的每一个元素都属于B，但集合B中真子集至少有一个元素不属于A，则称A为B的真子集，记为AcB。ACB(Vx)(xEA-xEB)A(y)(yEBAyEA)(AB)^(A+B)
西安电子科技大学 §3.1.3 集合间的关系 软件学院 子集 真子集
西安电子科技大学$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