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