For any two sets A and B, if A∩X=B∩X=ϕ and A∪X=B∪X for some set X, then
(2)
A∩X=B∩X=ϕ
∴ A and X, B and X are disjoint sets.
Also A∪X=B∪X⇒A=B