1: \begin{abstract}

2:   We study an alternative model of infinitary term rewriting. Instead

3:   of a metric on terms, a partial order on partial terms is employed

4:   to formalise convergence of reductions. We consider both a weak and

5:   a strong notion of convergence and show that the metric model of

6:   convergence coincides with the partial order model restricted to

7:   total terms. Hence, partial order convergence constitutes a

8:   conservative extension of metric convergence, which additionally

9:   offers a fine-grained distinction between different levels of

10:   divergence.

11: 

12:   In the second part, we focus our investigation on strong convergence

13:   of orthogonal systems. The main result is that the gap between the

14:   metric model and the partial order model can be bridged by extending

15:   the term rewriting system by additional rules. These extensions are

16:   the well-known Böhm extensions. Based on this result, we are able to

17:   establish that -- contrary to the metric setting -- orthogonal

18:   systems are both infinitarily confluent and infinitarily normalising

19:   in the partial order setting. The unique infinitary normal forms

20:   that the partial order model admits are Böhm trees.

21: \end{abstract}

22: