for X being non empty set
for S being SigmaField of X
for A being Element of S
for f being V175() PartFunc of X,ExtREAL
for g being V176() PartFunc of X,ExtREAL st f is A -measurable & g is A -measurable & A c= dom (f - g) holds
f - g is A -measurable