theorem Th2: :: VALUED_2:2

for X being set holds E_Funcs X is Subset of (E_PFuncs X)