theorem Th6: :: VALUED_2:6

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