theorem Th3: :: VALUED_2:3

for X being set holds R_Funcs X is Subset of (R_PFuncs X)