theorem Th99: :: FUNCT_7:100

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