theorem Th4: :: VALUED_2:4

for X being set holds Q_Funcs X is Subset of (Q_PFuncs X)