theorem Th52: :: FUNCT_5:59

for X being set
for x being object holds Funcs (X,{x}) = {(X --> x)}