for f being Function
for x, y being object st not x in rng f holds
f +~ (x,y) = f