for f, g being Function st g c= f & f is one-to-one holds
(rng g) |` f = g