>表示包含,A,(A∪B)∩C>A∩C A∪B>B,(A∪B)∩C>B∩C 故(A∪B)∩C>(A∩C)∪(B∩C) (1) x∈(A∪B)∩C,x∈(A∪B)且x∈C, x∈A或者x∈B 且 x∈C， 当x∈A时，x∈(A∩C)， 当x∈B时，x∈(B∩C)， x∈(A∩C)∪(B∩C)， (A∪B)∩C。
