theorem Th50: :: FUNCT_5:57

for X being set holds Funcs ({},X) = {{}}