1: \begin{abstract}

2: \noindent Properties of Term Rewriting Systems are called \emph{modular} \textiff{} they are preserved

3: under (and reflected by) disjoint union, i.e.\ when combining two Term Rewriting Systems with disjoint signatures.

4: \emph{Convergence} is the property of Infinitary Term Rewriting Systems that all

5: reduction sequences converge to a limit.  \emph{Strong Convergence}

6: requires in addition that redex positions in a reduction sequence move arbitrarily deep.

7: 

8: In this paper it is shown that both Convergence and Strong Convergence are

9: modular properties of non-collapsing Infinitary Term Rewriting Systems, provided

10: (for convergence) that the term metrics are \emph{granular}. This generalises

11: known modularity results beyond metric $d_\infty$.

12: \end{abstract}

13: