theorem Th100: :: FUNCT_7:101

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