:: deftheorem Def4 defines feasible ALTCAT_6:def 4 :
for C being non empty AltCatStr
for I being non empty set
for A being ObjectsFamily of I,C
for B being Object of C
for P being MorphismsFamily of A,B holds
( P is feasible iff for i being Element of I holds P . i in <^(A . i),B^> );