for X being set holds C_Funcs X is Subset of (C_PFuncs X)