for X, Y, Z being set st X c= Y holds
Funcs (Z,X) c= Funcs (Z,Y)