theorem :: FUNCT_2:72

for X, Y being set holds Funcs (X,Y) c= PFuncs (X,Y)