:: deftheorem defines CLSp_PFunct LPSPACC1:def 8 :
for A being non empty set holds CLSp_PFunct A = CLSStruct(# (PFuncs (A,COMPLEX)),(CPFuncZero A),(addcpfunc A),(multcomplexcpfunc A) #);