theorem :: FUNCT_5:28

for f being Function st ( for x being object holds
( not x in dom f or not f . x is Function ) ) holds
( uncurry f = {} & uncurry' f = {} )