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