:: deftheorem Def2 defines Funcs FUNCT_2:def 2 :
for X, Y, b₃ being set holds
( b₃ = Funcs (X,Y) iff for x being object holds
( x in b₃ iff ex f being Function st
( x = f & dom f = X & rng f c= Y ) ) );