for F being PartFunc of REAL,REAL st F is odd holds
F " is odd