集合的分配律  
A∩(B∪C) = (A∩B)∪(A∩C)  
证明：  
∀ x ∈ A∩(B∪C)

→ x ∈A且x∈B∪C  
→ x ∈A且x∈B或x∈C  
→x∈A∩B或x∈A∩c  
→x∈(A∩B)∪(A∩C)  
即：A∩(B∪C)