:: deftheorem Def6 defines sigma-multiplicative PROB_1:def 6 :
for X being set
for F being Subset-Family of X holds
( F is sigma-multiplicative iff for A1 being SetSequence of X st rng A1 c= F holds
Intersection A1 in F );