第三章 集合与关系
一、有限集计数
一个集合若其组成集合元素个数是有限，则称作有限集。设A1、A2为素个数分别记为|A1|，|A2|P96有限集记数有以下几个性质：a）|A1∪A2| ≤ |A1|+|A2|b）|A1∩A2| ≤min( |A1|,|A2|)c）|A1―A2 | ≥ |A1|― |A2|d）| A1⊕A2| = |A1|+|A2|―2 | A1∩ A2|以上公式能够经过文氏图直接得到说明
二、容斥原理
定理3-3.1 设A1，A2为有限集合，其元素个数分别为|A1|，|A2|，则
|A1∪A2| =A2| ―| A1∩ A2|
A2
A1
E
A1∩ A2