:: deftheorem Def3 defines FUNCTOR-DOMAIN CAT_2:def 3 :
for C, D being Category
for b₃ being non empty set holds
( b₃ is FUNCTOR-DOMAIN of C,D iff for x being Element of b₃ holds x is Functor of C,D );