如果一個歸約系統滿足：對於所有 
、
和 
，使得 
且 
，都存在一個 
，使得 
且 
，則稱該歸約系統是匯合的（或全域性匯合的）。如果一個歸約系統滿足：對於所有 
、
、
，使得 
且 
，都存在一個 
，使得 
且 
，則稱該歸約系統是區域性匯合的。 這裡，符號 
表示 
在一步內歸約到 
，而 
表示 
在零步或多步內歸約到 
。
一個歸約系統是匯合的，當且僅當它具有 Church-Rosser 屬性（Wolfram 2002, p. 1036）。在有限終止的歸約系統中，全域性匯合和區域性匯合是等價的，例如在上面顯示的系統中。既是有限終止又是匯合的歸約系統被稱為收斂的。在收斂的歸約系統中，所有表示式都存在唯一的正規化。
確定給定的歸約系統是否匯合的問題是遞迴不可判定的。
匯合的性質稱為匯合性。匯合性是因果不變性的必要條件。
