theorem :: MEASUR10:31

for X being non empty set
for S being SigmaField of X
for A being Element of S
for p being R_eal holds X --> p is_measurable_on A