for A1 being Element of Borel_Sets
for A2 being Element of L-Field
for f being PartFunc of REAL,ExtREAL st A1 = A2 & f is A1 -measurable holds
f is A2 -measurable