Question #97052

Give a direct proof, as well as a proof by contradiction, of the following statement:
‘ B A ∩ B ⊆ A ∪ for any two sets A and B .’

Expert's answer

Direct proof:

If x∈A∩B  ⟹  x∈A  ⟹  x∈A or x∈B  ⟹  \text{If}\ x\in A\cap B\implies x\in A\implies x\in A \ \text{or} \ x\in B \implies

  ⟹  x∈A∪B\implies x\in A\cup B

Therefore

A∩B⊆A∪BA\cap B\sube A\cup B

Proof by contradiction

Suppose to the contrary that A∩B⊊A∪BA\cap B \subsetneq A\cup B

Then an element x∈A∩Bx\in A\cap B exists such that x∉A∪B.x\notin A\cup B.

That is, there is an element x that belongs to both A and B and (x∈Ax\in A and x∈Bx\in B ) at the same time belongs to neither A nor B (x∉Ax\notin A and x∉Bx\notin B ). This is a contradiction, so the original assumption is false. It follows that


A∩B⊆A∪BA\cap B\sube A\cup B
LATEST TUTORIALS
APPROVED BY CLIENTS