:: deftheorem Def8 defines absolutely-multiplicative CLOSURE1:def 8 :
for S being 1-sorted
for IT being MSClosureStr over S holds
( IT is absolutely-multiplicative iff the Family of IT is absolutely-multiplicative );