for f, g being Function st f is idempotent & rng g c= rng f & rng g c= dom f holds
f * g = g