for X being set holds N_Funcs X is Subset of (N_PFuncs X)