Home » Blog » Prove some more relations between sets

Prove some more relations between sets

Prove that A \subseteq A \cup B and that A \cap B \subseteq A.


Proof. If x is any element of A, then by definition of A \cup B, we have x \in A \cup B (since A \cup B is the set of elements in either A or B). Thus, A \subseteq A \cup B. ∎

Proof. If x is any element of A \cap B, then x \in A since A \cap B is defined to be the set of elements that are in both A and B. Therefore, A \cap B \subseteq A. ∎

Point out an error, ask a question, offer an alternative solution (to use Latex type [latexpage] at the top of your comment):