for X being set
for Si being SigmaField of X
for ASeq being SetSequence of Si holds Union ASeq in Si