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