for f, g being Function
for A being set st A misses dom g holds
(f +* g) | A = f | A