theorem Th24: :: MEASURE1:24

for X being set
for S being SigmaField of X
for F being sequence of S holds union (rng F) is Element of S