theorem Th5: :: VALUED_2:5

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