for X being set
for Si being SigmaField of X
for FSi being FinSequence of Si holds Union FSi in Si