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