Direct proof that
A∩B⊆A∪B
A∩B⊆A and A⊆A∪B Therefore
A∩B⊆A∪B
Or other direct proof
We have that
X⊆Y⟺X∩Y=X Consider
(A∩B)∩(A∪B)
(A∩B)∩(A∪B)=(A∩B∩A)∪(A∩B∩B)=
=(A∩B)∪(A∩B)=A∩B Therefore
A∩B⊆A∪B
Proof by contradiction
Suppose to the contrary that
A∩B⊈A∪B Then there exists an element
x∈A∩B such that
x∈/A∪B That is, there is an element x that belongs to both A and B and at the same time belongs to neither. This is a contradiction, so the original assumption is false. It follows that
A∩B⊆A∪B
Comments