06集合代数汇编.ppt

广义并和广义交 定义6.10 设A为集合，A的元素的元素构成的集合称为A的广义并，记为∪A。 符号化表示为 ∪A＝{x | ?z(z∈A∧x∈z)} 定义6.11 设A为非空集合，A的所有元素的公共元素构成的集合称为A的广义交，记为∩A。 符号化表示为 ∩A＝{x | ?z(z∈A→x∈z)} 例6.4 例6.4 设 A＝{{a,b,c},{a,c,d},{a,e,f}}  B＝{{a}}  C＝{a,{c,d}} 则 ∪A＝{a,b,c,d,e,f}  ∪B＝{a}  ∪C＝a∪{c,d} ∪?＝? ∩A＝{a} ∩B＝{a} ∩C＝a∩{c,d} 广义并与广义交的说明 若A＝{A1,A2,…,An}，则∪A＝A1∪A2∪…∪An 若A＝{A1,A2,…,An}，则∩A＝A1∩A2∩…∩An 在后面的叙述中，若只说并或交，则这都是指集合的初级并或初级交；如果在并或交前边冠以“广义”两个字，则指集合的广义并或广义交。 为了使得集合表达式更为简洁，我们对集合运算的优先顺序做如下规定： 称广义并、广义交、幂集、绝对补运算为一类运算 并、交、相对补、对称差运算为二类运算。 一类运算优先于二类运算 一类运算之间由右向左顺序进行 二类运算之间由括号决定先后顺序。 例6.5 例6.5 设 A＝