theorem :: PARTFUN1:74

for Y being set
for f being PartFunc of {},Y holds TotFuncs f = {{}} by Th72;