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