theorem Th11: :: MEASURE8:11

for X being set
for F being Field_Subset of X
for M being Measure of F holds (C_Meas M) . {} = 0