theorem Th2: :: UNIFORM3:6

for X being set
for D being a_partition of X
for P being Subset of D holds union (D \ P) = (union D) \ (union P)