for X being set
for S being SigmaField of X
for M being sigma_Measure of S
for 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;