reserve X for set;

theorem
  for S being SigmaField of X, M being sigma_Measure of S,
      A,B being Element of S st A c= B holds M.A <= M.B by Th8;
