theorem Th45: :: FUNCT_6:50

for f being Function holds Funcs ({},f) = (dom f) --> {{}}