:: deftheorem Def15 defines associative ALTCAT_1:def 15 :
for C being non empty AltCatStr holds
( C is associative iff the Comp of C is associative );