theorem Th12: :: MEASURE2:12

for X being set
for S being SigmaField of X
for T being N_Measure_fam of S ex F being sequence of S st T = rng F