Maths WorkshopMaths problems with full solutions
Exercise 575Logic, sets and proofs › Sets and mapsHigh schoolAdded 3 Nov 2026

Distributive laws for sets

#distributivity#union#intersection

Statement

Prove that A∩(B∪C)=(A∩B)∪(A∩C)A\cap(B\cup C)=(A\cap B)\cup(A\cap C).

Hint

Show both inclusions element by element.

Show solutionHide solution

Solution

⊆\subseteq. If x∈A∩(B∪C)x\in A\cap(B\cup C), then x∈Ax\in A and (x∈Bx\in B or x∈Cx\in C). So either (x∈Ax\in A and x∈Bx\in B) or (x∈Ax\in A and x∈Cx\in C), i.e. x∈(A∩B)∪(A∩C)x\in(A\cap B)\cup(A\cap C).

⊇\supseteq. If x∈(A∩B)∪(A∩C)x\in(A\cap B)\cup(A\cap C), then x∈A∩Bx\in A\cap B or x∈A∩Cx\in A\cap C. In both cases x∈Ax\in A, and x∈Bx\in B or x∈Cx\in C, i.e. x∈B∪Cx\in B\cup C. So x∈A∩(B∪C)x\in A\cap(B\cup C).

Conclusion. The two sets are equal.