for f, g being Function
for X, Y being set st rng g c= X holds
(f | (X \/ Y)) * g = (f | X) * g