合流性
全ての要素が強合流性を持つならば、システムは合流性を持つ。強合流性は以下の定理と共に用いることができる: 抽象書換え系 ⟨ A , → 1 ⟩ {\displaystyle \left\langle A,\to _{1}\right\rangle } , ⟨ A , → 2 ⟩ {\displaystyle \left\langle A,\to _{2}\right\rangle } で → 1 ⊆ → 2 ⊆ → ∗ 1 {\displaystyle \rightarrow _{1}\,\subseteq \,\rightarrow _{2}\,\subseteq \,{\overset {*}{\to }}_{1}} かつ ( A , → 2 ) {\displaystyle (A,\rightarrow _{2})} が強合流性を持つならば、 ( A , → 1 ) {\displaystyle (A,\rightarrow _{1})} は合流性を持つ。