:: deftheorem defines odd BORSUK_7:def 1 :
for f being Function holds
( f is odd iff for x, y being complex-valued Function st x in dom f & - x in dom f & y = f . x holds
f . (- x) = - y );