reserve X for set;

theorem
  for S being SigmaField of X, M being sigma_Measure of S,
      A,B being Element of S holds M.(A \/ B) <= M.A + M.B by Th10;
