theorem Th41: :: FUNCT_4:41

for f being Function holds rng (~ f) c= rng f