theorem Th1: :: PROB_4:1

for X being set
for Si being SigmaField of X
for XSeq being SetSequence of Si holds rng XSeq c= Si