theorem
  E = dom f & f is E-measurable & M.A =0 implies Integral(M,f|(E\A))
  = Integral(M,f)
by MESFUNC5:95;
