集合的代数运算

• (A∩B)⊆A,(A∩B)⊆B

1. 分配率

• A∩(B∪C)=(A∩B)∪(A∩C)
• A∪(B∩C)=(A∪B)∩(A∪C)

2. 吸收率

• A∩(A∪B)=A，A∪(A∩B)=A，此二者是等价的；

证明：

A∪(A¯∩B)=A∪B

3. 简单的推演

• A∩B=B ⇒ B⊆A