theorem :: FUNCT_2:9

for X being set
for f being Function of X,X holds f in Funcs (X,X) by Th8;