for X being set holds I_Funcs X is Subset of (I_PFuncs X)