:: deftheorem Def10 defines Funct FUNCTOR2:def 10 :
for A, B being non empty transitive with_units AltCatStr
for b₃ being set holds
( b₃ = Funct (A,B) iff for x being object holds
( x in b₃ iff x is strict covariant Functor of A,B ) );