theorem :: FUNCT_6:47

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