theorem
  B c= A & f is A-measurable implies f is B-measurable
by MESFUNC6:16;
