theorem Th9: :: FUNCT_3:9

for f being Function holds rng (.: f) c= bool (rng f)