theorem Th14: :: MEASURE4:14

for X being set
for C being C_Measure of X holds sigma_Meas C is sigma_Measure of (sigma_Field C)