:: deftheorem Def15 defines absolutely-additive CLOSURE2:def 15 :
for S being 1-sorted
for IT being ClosureStr over S holds
( IT is absolutely-additive iff the Family of IT is absolutely-additive );