theorem Th12: :: MEASURE4:12

for X being set
for C being C_Measure of X holds sigma_Field C is SigmaField of X