:: deftheorem Def11 defines feasible FUNCTOR0:def 11 :
for C1, C2 being non empty AltGraph
for F being BimapStr over C1,C2 holds
( F is feasible iff for o1, o2 being Object of C1 st <^o1,o2^> <> {} holds
the Arrows of C2 . ( the ObjectMap of F . (o1,o2)) <> {} );