theorem :: PARTFUN1:48

for Y being set holds PFuncs ({},Y) = {{}}