for f, g being Function
for A being set st dom g c= A holds
f,f +* g equal_outside A