theorem Th1: :: VALUED_2:1

for X being set holds C_Funcs X is Subset of (C_PFuncs X)