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