for f, g being Function
for A being set st f | A = g | A & f,g equal_outside A holds
f = g