:: deftheorem defines quasi-functional ALTCAT_1:def 11 :
for C being non empty AltCatStr holds
( C is quasi-functional iff for a1, a2 being Object of C holds <^a1,a2^> c= Funcs (a1,a2) );