:: deftheorem Def6 defines quasi_odd FUNCT_8:def 6 :
for X, Y being complex-membered set
for F being PartFunc of X,Y holds
( F is quasi_odd iff for x being Real st x in dom F & - x in dom F holds
F . (- x) = - (F . x) );