theorem Th15: :: MEASURE4:15

for X being set
for C being C_Measure of X
for A being Subset of X st C . A = 0. holds
A in sigma_Field C