for f being Function
for a, b, A being set st a in A holds
f,f +* (a,b) equal_outside A