theorem :: FUNCT_4:104

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