:: deftheorem Def2 defines odd-valued EULRPART:def 2 :
for F being Function holds
( F is odd-valued iff for x being object st x in dom F holds
F . x is odd Nat );