# How to prove that $(A\cup B) \cap C \subseteq A\cup (B\cap C)$

Prove: $(A\cup B) \cap C \subseteq A\cup (B\cap C)$

How could I go about proving this?

-

Suppose $x \in (A\cup B) \cap C$. Then $x\in C$ and $x\in A\cup B$.

Either $x\in A$ or $x\in B$. If it is in $A$ then it is in $A\cup (B\cap C)$. If it is in $B$ then it is in $B\cap C$, and we are done.

-

One possible way is to rewrite it as $$[(x\in A \lor x\in B)\land x\in C] \Rightarrow [x \in A \lor (x\in B \land x\in C)]$$ and to verify that $[(p\lor q)\land r] \Rightarrow [p\lor (q\land r)]$ is a tautology.

Another way is using Venn diagrams. (See a little don's answer or wikipedia.)

Another possibility is use some facts you've already learned, like: $A\cap C\subseteq A$ implies $(A\cap C) \cup (B\cap C)\subseteq A\cup (B\cap C)$ and $(A\cap C) \cup (B\cap C)=(A\cup B)\cap C$.

-

Label each of the seven possible sections.

Determine which of those are in (A ∪ B) ∩ C, then which are in A ∪ (B ∩ C).

Every section on the list for (A ∪ B) ∩ C should be on the list for A ∪ (B ∩ C).

-