If A, B and C are three sets such that A∩B=A∩C and A∪B=A∪C, then
(2)
Let x∈C and x∈A⇒x∈A∩C
⇒x∈A∩B. Thus x∈B (∵A∩C=A∩B)
Again suppose x∈C and x∉A⇒x∈C∪A
⇒x∈B∪A⇒x∈B
Thus in both cases x∈C⇒x∈B
Hence C⊆B ...(1)
Similarly we can show that B⊆C ...(2)
Combining (1) and (2), we get B=C