theorem :: MESFUN15:30

for r being Real
for E being Element of L-Field
for f being PartFunc of REAL,REAL st E = {r} holds
f is E -measurable