theorem Th22: :: FUNCT_3:22

for f being Function holds rng (" f) c= bool (dom f)