for z being object
for f, g being Function st z in rng (g * f) holds
z in rng g