reserve X for set;

theorem
  for S being SigmaField of X, M being sigma_Measure of S, T being
N_Measure_fam of S st (ex A being set st A in T & A is measure_zero of M) holds
  meet T is measure_zero of M by MEASURE1:36,SETFAM_1:3;
