for f, g being Function st f tolerates g holds
rng (f +* g) = (rng f) \/ (rng g)