:: deftheorem defines .. FUNCT_6:def 5 :
for f being Function
for x, y being object holds f .. (x,y) = (uncurry f) . (x,y);