for f, g being Function
for A being set st f,g equal_outside A holds
(dom f) \ A = (dom g) \ A