theorem Th46: :: FUNCT_6:51

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