for f, g being Function st dom f misses dom g holds
rng (f +* g) = (rng f) \/ (rng g) by FRECHET:35, PARTFUN1:56;