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