Let A and B be sets. If A∩X=B∩X=Φ and A∪X=B∪X for some set X. Show that A=B.
Here A∪X=B∪X for some X
⇒ A∩(A∪X)=A∩(B∪X)
⇒ A=(A∩B)∪(A∩X) [∵ A∩(A∪X)=A]
⇒ A=(A∩B)∪Φ [∵ A∩X=Φ]
⇒ A=A∩B
⇒ A⊂B ...(i)
Also A∪X=B∪X
⇒ B∩(A∪X)=B∩(B∪X)
⇒ (B∩A)∪(B∩X)=B [∵ B∩(B∪X)=B]
⇒ (B∩A)∪Φ=B [∵ B∩X=Φ]
⇒ B∩A=B
⇒ B⊂A ...(ii)
From (i) and (ii), we have A=B