theorem Th15: :: PROB_3:15

for X being set
for A1 being SetSequence of X holds Union (Partial_Union A1) = Union A1