Let U be any set. Prove that for every B ∈ ℘(U) there is a
unique D ∈ ℘(U) such that for every C ∈ ℘(U), C \ B = C ∩ D.