for f, g being Function
for A being set st f,g equal_outside A holds
g,f equal_outside A ;