for X being set
for S being SigmaField of X
for T being N_Measure_fam of S holds
( meet T in S & union T in S )