for x being object
for f, g being Function st x in (dom f) \ (dom g) holds
(f \ g) . x = f . x