:: deftheorem Def5 defines feasible ALTCAT_5:def 5 :
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 B,A holds
( P is feasible iff for i being Element of I holds P . i in <^B,(A . i)^> );