指定された項集合に関する論理制約付き項書換え系の合流性証明についての先行研究では，全パス到達可能性問題に帰着して循環証明木を作り，そこから作成されるグラフが強連結であり，どのノードが単一項であることを十分条件として示した．この手法は単一項からの書換えが合流性を持つことしか示せない．本論文では，指定される項が単一項ではなく，集合である場合の合流性を証明できるように，既存手法を拡張する．