for F being Function
for x, y being object holds rng (F +* (x,y)) c= (rng F) \/ {y}