theorem Th14: :: MEASURE8:14

for X being set
for F being Field_Subset of X
for M being Measure of F holds C_Meas M is C_Measure of X