theorem Th6: :: DYNKIN:7

for Omega being non empty set
for f being SetSequence of Omega holds union (rng (disjointify f)) = union (rng f)