for X being non empty set
for S being SigmaField of X
for A, B being Element of S
for f being PartFunc of X,ExtREAL st B c= A & f | A is B -measurable holds
f is B -measurable