for X being non empty set
for S being SigmaField of X
for M being sigma_Measure of S
for F being sequence of S
for n being Nat holds { x where x is Element of X : for k being Nat st n <= k holds
x in F . k } is Element of S