32集合间的关系 定义3.2-1设有两个集合A和B,如果A的每一个 元素都是B的元素,即若x∈A必有x∈B,则称集合A 是集合B的子集,表示为AB(或B回A),读作 “A包含于B”(或“B包含A”).符号化表示为 AB会x(X∈A→X∈B 定义32-2若A〓B,且A,则称集合A是集合 B的真子集,表示为A已(或B ,读作“A真 包含于B”(或“B真包含A”).符号化表示为 A四B今X(X∈A→→∈B)X(X∈B→xgA) 定义3.2-3两个集合A和B相等当且仅当它们具有 相同的元素,即A=B当且仅当AB且BA符号化 表示为 A=B今x(X∈A→X∈B3.2 集合间的关系 定义3.2-1 设有两个集合A和B，如果A的每一个 元素都是B的元素，即若x∈A必有x∈B，则称集合A 是集合B的子集，表示为A B（或B A），读作 “A包含于B”（或“B包含A”）.符号化表示为 A B  x(x∈A→x∈B). 定义3.2-2 若A B，且A≠B，则称集合A是集合 B的真子集，表示为A B（或B A），读作“A真 包含于B”（或“B真包含A”）.符号化表示为 A B  x(x∈A→x∈B)∧ x(x∈B→x A). 定义3.2-3 两个集合A和B相等当且仅当它们具有 相同的元素,即A＝B当且仅当A B且B A.符号化 表示为 A=B x(x∈A↔x∈B). 