If f : A B and g : A B are partial functions, we let the partial function f ∪ g be defined if for all a ∈ A with both f (a) and g(a) defined, we have f (a) = g(a).
iRTGs extend naturally to a synchronous grammar formalism by adding more homomorphisms and algebras.