theorem :: PROB_3:28

for X being set
for Si being SigmaField of X
for XSeq being SetSequence of Si holds Partial_Union XSeq is non-descending by Th11;