theorem :: ENS_1:6

for V being non empty set holds Maps V c= [:[:V,V:],(Funcs V):]