theorem Th3: :: MEASURE4:3

for X being set holds bool X is SigmaField of X