:: deftheorem defines HFuncs COMPUT_1:def 5 :
for X being set holds HFuncs X = { f where f is Element of PFuncs ((X *),X) : f is homogeneous } ;