:: deftheorem Def13 defines pseudo-functional ALTCAT_1:def 13 :
for C being non empty AltCatStr holds
( C is pseudo-functional iff for o1, o2, o3 being Object of C holds the Comp of C . (o1,o2,o3) = (FuncComp ((Funcs (o1,o2)),(Funcs (o2,o3)))) | [:<^o2,o3^>,<^o1,o2^>:] );