theorem
  (ex E be Element of S st E = dom f & f is E-measurable ) & f is
  nonnegative & A c= B implies Integral(M,f|A) <= Integral(M,f|B)
by MESFUNC5:93;
