for V being non empty set
for A, B being Element of V holds Maps (A,B) c= Maps V