for X being set
for F being Field_Subset of X
for M being Measure of F holds F c= sigma_Field (C_Meas M)