theorem Th33: :: MESFUN15:31

for a, b being Real
for f being PartFunc of REAL,REAL st [.a,b.[ c= dom f & f is_right_improper_integrable_on a,b holds
for E being Element of L-Field st E c= [.a,b.[ holds
f is E -measurable